[isabelle-dev] finite_intvl_succ

Amine Chaieb chaieb at in.tum.de
Sun Jan 27 22:40:56 CET 2008

Previous message (by thread): [isabelle-dev] token translations
Next message (by thread): [isabelle-dev] finite_intvl_succ
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This is a nice generalization for intervals, but on main candidate was 
missing for instantiation : natural number!

Amine.

Previous message (by thread): [isabelle-dev] token translations
Next message (by thread): [isabelle-dev] finite_intvl_succ
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list