src/HOL/UNITY/Comp/AllocImpl.thy
8 months ago haftmann 2018-11-18 removed legacy input syntax
2017-05-29 eberlm 2017-05-29 reorganised material on sublists
2016-10-17 nipkow 2016-10-17 setsum -> sum
2016-05-25 wenzelm 2016-05-25 isabelle update_cartouches -c -t;
2015-12-28 wenzelm 2015-12-28 more symbols;
2015-07-23 wenzelm 2015-07-23 more symbols by default, without xsymbols mode;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2012-03-13 wenzelm 2012-03-13 tuned context specifications and proofs;
2011-09-10 wenzelm 2011-09-10 misc tuning and clarification;
2010-05-12 wenzelm 2010-05-12 modernized specifications;
2010-03-01 haftmann 2010-03-01 replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
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.
2003-07-16 paulson 2003-07-16 tidying
2003-07-03 paulson 2003-07-03 converted UNITY/Comp/{AllocImpl,Client} to Isar scripts
2001-03-05 paulson 2001-03-05 reorganization of HOL/UNITY, moving examples to subdirectories Simple and Comp