| Sat, 15 Mar 2008 22:07:26 +0100 |
wenzelm |
proper antiquotations;
|
file |
diff |
annotate
|
| Sun, 26 Nov 2006 23:43:53 +0100 |
wenzelm |
converted legacy ML scripts;
|
file |
diff |
annotate
|
| Fri, 30 Dec 2005 16:56:58 +0100 |
wenzelm |
provide equality_name, not_name;
|
file |
diff |
annotate
|
| Mon, 14 Nov 2005 18:25:34 +0100 |
paulson |
removal of is_hol
|
file |
diff |
annotate
|
| Tue, 12 Jul 2005 12:49:46 +0200 |
paulson |
experimental code to reduce the amount of type information in blast
|
file |
diff |
annotate
|
| Sun, 14 Oct 2001 19:59:55 +0200 |
wenzelm |
eliminated atomize rules;
|
file |
diff |
annotate
|
| Tue, 16 Jan 2001 00:28:50 +0100 |
wenzelm |
tuned atomize;
|
file |
diff |
annotate
|
| Fri, 10 Nov 2000 19:00:22 +0100 |
wenzelm |
val atomize = thms "atomize'";
|
file |
diff |
annotate
|
| Wed, 09 Aug 2000 20:43:03 +0200 |
wenzelm |
thms "atomize";
|
file |
diff |
annotate
|
| Tue, 01 Aug 2000 11:57:09 +0200 |
wenzelm |
handle actual object-logic rules by atomizing the goal;
|
file |
diff |
annotate
|
| Wed, 25 Aug 1999 20:45:19 +0200 |
wenzelm |
proper bootstrap of IFOL/FOL theories and packages;
|
file |
diff |
annotate
|