Thu, 03 Mar 2005 12:43:01 +0100 |
skalberg |
Move towards standard functions.
|
file |
diff |
annotate
|
Fri, 30 Jul 2004 10:44:27 +0200 |
wenzelm |
added context type solver;
|
file |
diff |
annotate
|
Tue, 07 May 2002 14:26:32 +0200 |
wenzelm |
use eq_thm_prop instead of slightly inadequate eq_thm;
|
file |
diff |
annotate
|
Wed, 28 Nov 2001 00:46:26 +0100 |
wenzelm |
theory data: removed obsolete finish method;
|
file |
diff |
annotate
|
Thu, 15 Nov 2001 18:15:13 +0100 |
wenzelm |
added TCSET(') tacticals;
|
file |
diff |
annotate
|
Wed, 14 Nov 2001 23:19:09 +0100 |
wenzelm |
Isar attribute and method setup;
|
file |
diff |
annotate
|
Thu, 08 Nov 2001 23:59:37 +0100 |
wenzelm |
theory data: finish method;
|
file |
diff |
annotate
|
Fri, 30 Apr 1999 18:10:03 +0200 |
wenzelm |
theory data: copy;
|
file |
diff |
annotate
|
Wed, 27 Jan 1999 10:31:31 +0100 |
paulson |
new typechecking solver for the simplifier
|
file |
diff |
annotate
|
Wed, 13 Jan 1999 11:57:09 +0100 |
paulson |
datatype package improvements
|
file |
diff |
annotate
|
Mon, 28 Dec 1998 16:57:02 +0100 |
paulson |
moved from ZF to new subdirectory Tools
|
file |
diff |
annotate
|