| Fri, 25 Apr 2008 15:30:33 +0200 |
krauss |
Merged theories about wellfoundedness into one: Wellfounded.thy
|
file |
diff |
annotate
|
| Sat, 10 Nov 2007 14:36:33 +0100 |
wenzelm |
qualified Proofterm.proofs;
|
file |
diff |
annotate
|
| Fri, 12 Oct 2007 08:21:09 +0200 |
haftmann |
consolidated naming conventions for code generator theories
|
file |
diff |
annotate
|
| Thu, 06 Sep 2007 11:41:04 +0200 |
berghofe |
Added Standardization theory.
|
file |
diff |
annotate
|
| Mon, 06 Aug 2007 16:05:25 +0200 |
berghofe |
No document for Pretty_Int theory.
|
file |
diff |
annotate
|
| Tue, 31 Jul 2007 22:21:20 +0200 |
wenzelm |
simultaneous use_thys;
|
file |
diff |
annotate
|
| Fri, 19 Jan 2007 22:08:07 +0100 |
wenzelm |
HOL-Lambda: usedir -m no_brackets;
|
file |
diff |
annotate
|
| Wed, 06 Dec 2006 01:12:58 +0100 |
wenzelm |
no timing;
|
file |
diff |
annotate
|
| Fri, 04 Jul 2003 17:09:26 +0200 |
berghofe |
Added check for HOL_proofs: Theory WeakNorm is skipped if HOL image has been
|
file |
diff |
annotate
|
| Tue, 24 Jun 2003 10:39:46 +0200 |
berghofe |
Added new theories WeakNorm and StrongNorm.
|
file |
diff |
annotate
|
| Fri, 30 Aug 2002 16:42:45 +0200 |
paulson |
removal of blast.overloaded
|
file |
diff |
annotate
|
| Wed, 06 Mar 2002 17:48:39 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 26 Oct 2001 12:24:19 +0200 |
wenzelm |
tuned notation;
|
file |
diff |
annotate
|
| Wed, 18 Oct 2000 23:41:28 +0200 |
wenzelm |
use Accessible_Part from HOL/Library;
|
file |
diff |
annotate
|
| Fri, 23 Jun 2000 12:28:09 +0200 |
berghofe |
Added new theory.
|
file |
diff |
annotate
|
| Tue, 30 May 2000 16:08:38 +0200 |
wenzelm |
cleaned up;
|
file |
diff |
annotate
|
| Thu, 22 Apr 1999 18:25:07 +0200 |
wenzelm |
improved load paths;
|
file |
diff |
annotate
|
| Thu, 11 Mar 1999 13:20:35 +0100 |
wenzelm |
removed foo_build_completed -- now handled by session management (via usedir);
|
file |
diff |
annotate
|
| Wed, 03 Feb 1999 17:34:27 +0100 |
wenzelm |
add_path / reset_path;
|
file |
diff |
annotate
|
| Thu, 06 Aug 1998 10:33:54 +0200 |
nipkow |
First steps towards termination of simply typed terms.
|
file |
diff |
annotate
|
| Tue, 30 Jan 1996 15:24:36 +0100 |
clasohm |
expanded tabs
|
file |
diff |
annotate
|
| Tue, 21 Nov 1995 12:43:09 +0100 |
clasohm |
removed make_chart;
|
file |
diff |
annotate
|
| Sun, 19 Nov 1995 14:17:31 +0100 |
nipkow |
Moved comments into README.html
|
file |
diff |
annotate
|
| Tue, 24 Oct 1995 14:50:24 +0100 |
clasohm |
added calls of init_html and make_chart
|
file |
diff |
annotate
|
| Fri, 06 Oct 1995 10:45:11 +0100 |
nipkow |
New version with eta reduction.
|
file |
diff |
annotate
|
| Thu, 29 Jun 1995 12:48:48 +0200 |
clasohm |
renamed CHOL to HOL
|
file |
diff |
annotate
|
| Mon, 22 May 1995 16:00:26 +0200 |
nipkow |
Moved comment from ParRed.thy to ROOT.ML
|
file |
diff |
annotate
|