src/ZF/UNITY/Mutex.thy
2007-07-29 wenzelm 2007-07-29 replaced program_defs_ref by proper context data (via attribute "program");
2005-06-02 paulson 2005-06-02 renamed "constrains" to "safety" to avoid keyword clash
2005-03-28 paulson 2005-03-28 conversion of UNITY to Isar scripts
2003-05-27 paulson 2003-05-27 updating ZF-UNITY with Sidi's new material
2001-11-15 ehmety 2001-11-15 *** empty log message ***
2001-08-08 paulson 2001-08-08 new ZF/UNITY theory