Thu, 28 Feb 2013 13:33:01 +0100 |
wenzelm |
eliminated legacy 'axioms';
|
file |
diff |
annotate
|
Fri, 13 May 2011 22:55:00 +0200 |
wenzelm |
proper Proof.context for classical tactics;
|
file |
diff |
annotate
|
Fri, 07 Jan 2011 14:46:28 +0100 |
bulwahn |
removing obselete Id comments from HOL/ex theories
|
file |
diff |
annotate
|
Sat, 18 Aug 2007 17:42:38 +0200 |
wenzelm |
converted ex/MT.ML;
|
file |
diff |
annotate
|
Tue, 06 Sep 2005 19:10:43 +0200 |
wenzelm |
converted to Isar theory format;
|
file |
diff |
annotate
|
Fri, 21 Jan 2005 13:54:09 +0100 |
paulson |
inserted quotes preparatory to conversion
|
file |
diff |
annotate
|
Sat, 01 Dec 2001 18:52:32 +0100 |
wenzelm |
renamed class "term" to "type" (actually "HOL.type");
|
file |
diff |
annotate
|
Tue, 30 Jun 1998 20:51:15 +0200 |
berghofe |
Adapted to new inductive definition package.
|
file |
diff |
annotate
|
Fri, 10 Oct 1997 19:02:28 +0200 |
wenzelm |
fixed dots;
|
file |
diff |
annotate
|
Mon, 05 Feb 1996 21:29:06 +0100 |
clasohm |
expanded tabs; incorporated Konrad's changes
|
file |
diff |
annotate
|
Fri, 01 Dec 1995 12:03:13 +0100 |
clasohm |
removed quotes from consts and syntax sections
|
file |
diff |
annotate
|
Wed, 21 Jun 1995 15:47:10 +0200 |
clasohm |
removed \...\ inside strings
|
file |
diff |
annotate
|
Mon, 10 Apr 1995 08:49:00 +0200 |
nipkow |
ROOT.ML: Removed the "exit 1" calls, since now the Makefile does them.
|
file |
diff |
annotate
|
Fri, 24 Mar 1995 12:30:35 +0100 |
clasohm |
changed syntax of tuples from <..., ...> to (..., ...)
|
file |
diff |
annotate
|
Wed, 22 Mar 1995 12:42:34 +0100 |
clasohm |
converted ex with curried function application
|
file |
diff |
annotate
|