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