src/ZF/UNITY/AllocImpl.thy
2014-11-01 wenzelm 2014-11-01 eliminated spurious semicolons;
2012-03-06 paulson 2012-03-06 More mathematical symbols for ZF examples
2011-02-18 wenzelm 2011-02-18 modernized specifications;
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2008-03-15 wenzelm 2008-03-15 avoid unclear fact references;
2007-10-07 wenzelm 2007-10-07 modernized specifications; removed legacy ML bindings;
2007-10-07 wenzelm 2007-10-07 replaced some 'translations' by 'abbreviation';
2007-07-29 wenzelm 2007-07-29 replaced program_defs_ref by proper context data (via attribute "program");
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2005-06-02 paulson 2005-06-02 renamed "constrains" to "safety" to avoid keyword clash
2005-02-01 paulson 2005-02-01 the new subst tactic, by Lucas Dixon
2003-07-10 paulson 2003-07-10 Changed many Intersection rules from i:I to I~=0 to avoid introducing a new variable
2003-06-27 paulson 2003-06-27 Conversion of AllocBase to new-style
2003-06-25 paulson 2003-06-25 Conversion of UNITY/Distributor to Isar script. General tidy-up.
2003-06-24 paulson 2003-06-24 Converting ZF/UNITY to Isar
2003-06-20 paulson 2003-06-20 conversion of ClientImpl to Isar script
2003-06-20 paulson 2003-06-20 Adding the theory UNITY/AllocImpl.thy, with supporting lemmas