src/HOL/MicroJava/BV/Semilat.thy
2007-07-11 berghofe 2007-07-11 - Renamed inductive2 to inductive - Renamed some theorems about transitive closure for predicates
2007-02-07 berghofe 2007-02-07 Adapted to new inductive definition package.
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2002-10-15 kleing 2002-10-15 alternative syntax
2002-07-16 wenzelm 2002-07-16 adapted to locale defs;
2002-04-04 kleing 2002-04-04 tuned
2002-04-02 nipkow 2002-04-02 Started to convert to locales
2002-03-26 kleing 2002-03-26 +_f is associative and commutative
2002-03-03 kleing 2002-03-03 symbolized
2002-02-21 kleing 2002-02-21 new document
2002-01-15 kleing 2002-01-15 use exec_lub instead of some_lub
2001-12-20 nipkow 2001-12-20 renamed rtrancl_into_rtrancl2 to converse_rtrancl_into_rtrancl
2001-12-18 nipkow 2001-12-18 added exec_lub
2001-12-16 kleing 2001-12-16 exceptions
2001-02-22 nipkow 2001-02-22 recoded function iter with the help of the while-combinator.
2001-02-09 kleing 2001-02-09 tuned for 99-2 release
2001-01-16 wenzelm 2001-01-16 renamed Product_Type.split to split_conv;
2001-01-05 nipkow 2001-01-05 ^^ -> ``` Univalent -> single_valued
2000-11-20 kleing 2000-11-20 BCV integration (first step)