src/HOL/MicroJava/BV/Product.thy
2007-02-07 berghofe 2007-02-07 Adapted to new inductive definition package.
2007-01-16 haftmann 2007-01-16 renamed locale partial_order to order
2005-12-08 wenzelm 2005-12-08 tuned proofs;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2005-03-17 paulson 2005-03-17 meson now checks that problems are first-order
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)