src/HOL/UNITY/Comp/AllocBase.thy
2014-07-05 haftmann 2014-07-05 prefer ac_simps collections over separate name bindings for add and mult
2014-06-28 haftmann 2014-06-28 fact consolidation
2012-03-13 wenzelm 2012-03-13 tuned proofs;
2011-12-13 wenzelm 2011-12-13 modernized specifications;
2010-09-08 haftmann 2010-09-08 modernized primrec
2010-02-22 haftmann 2010-02-22 tuned proofs
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2007-08-03 wenzelm 2007-08-03 misc cleanup of ML bindings (for multihreading);
2006-07-26 webertj 2006-07-26 linear arithmetic splits certain operators (e.g. min, max, abs)
2006-01-03 paulson 2006-01-03 added explicit paths to required theories
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2004-07-22 nipkow 2004-07-22 Modified \<Sum> syntax a little.
2004-07-15 nipkow 2004-07-15 Moved to new m<..<n syntax for set intervals.
2004-05-11 obua 2004-05-11 changes made due to new Ring_and_Field theory
2004-01-26 schirmer 2004-01-26 * Support for raw latex output in control symbols: \<^raw...> * Symbols may only start with one backslash: \<...>. \\<...> is no longer accepted by the scanner. - Adapted some Isar-theories to fit to this policy
2003-07-16 paulson 2003-07-16 tidying
2003-01-31 paulson 2003-01-31 conversion to new-style theories and tidying
2003-01-24 paulson 2003-01-24 More conversion of UNITY to Isar new-style theories
2001-03-05 paulson 2001-03-05 reorganization of HOL/UNITY, moving examples to subdirectories Simple and Comp