src/HOL/MicroJava/BV/Product.thy
2003-11-21 paulson 2003-11-21 HOL: installation of Ring_and_Field as the basis for Naturals and Reals
2002-04-02 nipkow 2002-04-02 Started to convert to locales
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-09-04 wenzelm 2001-09-04 renamed "antecedent" case to "rule_context";
2000-11-20 kleing 2000-11-20 BCV integration (first step)