src/HOL/MicroJava/BV/Listn.thy
2002-09-30 berghofe 2002-09-30 Adapted to new simplifier.
2002-04-02 nipkow 2002-04-02 Started to convert to locales
2002-03-24 kleing 2002-03-24 cleanup + simpler monotonicity
2002-03-03 kleing 2002-03-03 symbolized
2002-02-21 kleing 2002-02-21 new document
2001-12-16 kleing 2001-12-16 exceptions
2001-03-26 nipkow 2001-03-26 simplified proofs
2001-01-16 wenzelm 2001-01-16 renamed Product_Type.split to split_conv;
2000-11-20 kleing 2000-11-20 BCV integration (first step)