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