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