Mon, 20 Dec 2010 16:44:33 +0100 |
wenzelm |
proper identifiers for consts and types;
|
file |
diff |
annotate
|
Sat, 13 Mar 2010 16:44:12 +0100 |
wenzelm |
removed old CVS Ids;
|
file |
diff |
annotate
|
Tue, 18 Mar 2008 22:19:18 +0100 |
wenzelm |
converted legacy ML scripts;
|
file |
diff |
annotate
|
Sun, 18 Sep 2005 14:25:48 +0200 |
wenzelm |
converted to Isar theory format;
|
file |
diff |
annotate
|
Mon, 12 Sep 2005 18:20:32 +0200 |
haftmann |
introduced new-style AList operations
|
file |
diff |
annotate
|
Thu, 03 Mar 2005 12:43:01 +0100 |
skalberg |
Move towards standard functions.
|
file |
diff |
annotate
|
Sun, 13 Feb 2005 17:15:14 +0100 |
skalberg |
Deleted Library.option type.
|
file |
diff |
annotate
|
Wed, 12 Aug 1998 16:21:18 +0200 |
oheimb |
the splitter is now defined as a functor
|
file |
diff |
annotate
|
Fri, 10 Oct 1997 16:29:41 +0200 |
wenzelm |
fixed dots;
|
file |
diff |
annotate
|
Mon, 10 Feb 1997 12:52:11 +0100 |
paulson |
Renamed structure Int (intuitionistic prover) to IntPr to prevent clash
|
file |
diff |
annotate
|
Tue, 30 Jan 1996 15:12:53 +0100 |
clasohm |
expanded tabs
|
file |
diff |
annotate
|
Mon, 29 Jan 1996 13:58:15 +0100 |
clasohm |
expanded tabs
|
file |
diff |
annotate
|
Thu, 06 Apr 1995 11:14:51 +0200 |
lcp |
No longer builds the induction structure (from ../Provers/ind.ML)
|
file |
diff |
annotate
|
Thu, 16 Sep 1993 12:20:38 +0200 |
clasohm |
Initial revision
|
file |
diff |
annotate
|