Fri, 10 May 2002 11:55:45 +0200 |
nipkow |
added dep on IMP/Compiler0
|
file |
diff |
annotate
|
Wed, 08 May 2002 09:14:56 +0200 |
paulson |
some ex files converted to Isar
|
file |
diff |
annotate
|
Thu, 04 Apr 2002 17:32:52 +0200 |
paulson |
conversion of Induct/{Slist,Sexp} to Isar scripts
|
file |
diff |
annotate
|
Tue, 02 Apr 2002 14:28:28 +0200 |
paulson |
conversion of some HOL/Induct proof scripts to Isar
|
file |
diff |
annotate
|
Thu, 14 Mar 2002 16:48:54 +0100 |
paulson |
removed ex/set.ML
|
file |
diff |
annotate
|
Wed, 06 Mar 2002 17:56:02 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 06 Mar 2002 17:47:51 +0100 |
wenzelm |
added HOL-Hyperreal-ex;
|
file |
diff |
annotate
|
Tue, 05 Mar 2002 17:09:15 +0100 |
prensani |
Target HoareParallel in IsaMakefile
|
file |
diff |
annotate
|
Sat, 02 Mar 2002 00:28:55 +0100 |
wenzelm |
temporarily disabled HoareParallel target;
|
file |
diff |
annotate
|
Fri, 01 Mar 2002 16:24:43 +0100 |
prensani |
Completed annonce of HoareParallel
|
file |
diff |
annotate
|
Tue, 26 Feb 2002 15:45:32 +0100 |
kleing |
introduces SystemClasses and BVExample
|
file |
diff |
annotate
|
Tue, 26 Feb 2002 00:24:37 +0100 |
wenzelm |
Isar_examples/W_correct moved to W0;
|
file |
diff |
annotate
|
Thu, 21 Feb 2002 20:08:09 +0100 |
wenzelm |
theory Option has been assimilated by Datatype;
|
file |
diff |
annotate
|
Thu, 21 Feb 2002 14:08:09 +0100 |
kleing |
new MicroJava document
|
file |
diff |
annotate
|
Sat, 16 Feb 2002 20:59:34 +0100 |
wenzelm |
converted/deleted equalities.ML, mono.ML, subset.ML (see Set.thy);
|
file |
diff |
annotate
|
Tue, 05 Feb 2002 23:18:08 +0100 |
wenzelm |
moved SVC stuff to ex;
|
file |
diff |
annotate
|
Mon, 28 Jan 2002 17:52:13 +0100 |
schirmer |
Bali added
|
file |
diff |
annotate
|
Fri, 18 Jan 2002 18:35:39 +0100 |
wenzelm |
fixed document setup of HOL-Library;
|
file |
diff |
annotate
|
Thu, 17 Jan 2002 19:37:42 +0100 |
nipkow |
Lex dependencies modified
|
file |
diff |
annotate
|
Sun, 13 Jan 2002 21:09:17 +0100 |
wenzelm |
added HOL/Real/document/root.tex;
|
file |
diff |
annotate
|
Sun, 13 Jan 2002 19:42:30 +0100 |
wenzelm |
Real/Complex_Numbers.thy;
|
file |
diff |
annotate
|
Wed, 09 Jan 2002 17:48:40 +0100 |
wenzelm |
converted theory Transitive_Closure;
|
file |
diff |
annotate
|
Tue, 08 Jan 2002 21:02:15 +0100 |
wenzelm |
HOL-Hyperreal produces an image (again);
|
file |
diff |
annotate
|
Wed, 19 Dec 2001 00:26:39 +0100 |
wenzelm |
HOL/IMP: include session graph;
|
file |
diff |
annotate
|
Sun, 16 Dec 2001 00:20:17 +0100 |
kleing |
MicroJava exception merge
|
file |
diff |
annotate
|
Mon, 10 Dec 2001 15:18:34 +0100 |
berghofe |
Added new files (code generator and examples).
|
file |
diff |
annotate
|
Sun, 09 Dec 2001 14:36:14 +0100 |
kleing |
HOL/IMP converted to Isar
|
file |
diff |
annotate
|
Thu, 06 Dec 2001 17:15:53 +0100 |
wenzelm |
include session graph;
|
file |
diff |
annotate
|
Thu, 06 Dec 2001 00:38:55 +0100 |
wenzelm |
renamed theory Finite to Finite_Set and converted;
|
file |
diff |
annotate
|
Tue, 04 Dec 2001 17:59:36 +0100 |
wenzelm |
added Higher_Order_Logic.thy;
|
file |
diff |
annotate
|