src/HOL/UNITY/UNITY_tactics.ML
Sat, 14 Jun 2008 23:19:51 +0200 wenzelm proper context for tactics derived from res_inst_tac;
Fri, 03 Aug 2007 20:19:41 +0200 wenzelm misc cleanup of ML bindings (for multihreading);
Wed, 06 Dec 2006 01:12:36 +0100 wenzelm removed legacy ML bindings;
Sat, 08 Feb 2003 16:05:33 +0100 paulson converting HOL/UNITY to use unconditional fairness
Fri, 31 Jan 2003 20:12:44 +0100 paulson conversion to new-style theories and tidying
Thu, 30 Jan 2003 18:08:09 +0100 paulson conversion of UNITY theories to new-style
Thu, 30 Jan 2003 10:35:56 +0100 paulson converting more UNITY theories to new-style
Wed, 29 Jan 2003 16:34:51 +0100 paulson converted more UNITY theories to new-style
Wed, 29 Jan 2003 11:02:08 +0100 paulson converting UNITY to new-style theories
Fri, 24 Jan 2003 18:13:59 +0100 paulson More conversion of UNITY to Isar new-style theories
less more (0) tip