src/ZF/UNITY/Constrains.thy
2007-07-29 wenzelm 2007-07-29 replaced program_defs_ref by proper context data (via attribute "program");
2007-07-21 wenzelm 2007-07-21 tactics: avoid dynamic reference to accidental theory context (via ML_Context.the_context etc.);
2007-07-03 wenzelm 2007-07-03 rewrite_goal_tac;
2006-12-07 wenzelm 2006-12-07 reorganized structure Goal vs. Tactic;
2006-11-29 wenzelm 2006-11-29 simplified method setup;
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