| 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
|
| Wed, 21 Nov 2001 00:33:04 +0100 |
wenzelm |
theory Inverse_Image converted and moved to Set;
|
file |
diff |
annotate
|
| Tue, 20 Nov 2001 20:54:12 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 16 Nov 2001 18:24:11 +0100 |
paulson |
even more theories from Jacques
|
file |
diff |
annotate
|
| Thu, 15 Nov 2001 16:12:49 +0100 |
paulson |
new theories from Jacques Fleuriot
|
file |
diff |
annotate
|
| Thu, 08 Nov 2001 17:42:43 +0100 |
wenzelm |
ex/document/root.bib;
|
file |
diff |
annotate
|
| Tue, 06 Nov 2001 23:45:34 +0100 |
wenzelm |
renamed Real/ex/Sqrt_Irrational.thy to Real/ex/Sqrt.thy;
|
file |
diff |
annotate
|
| Mon, 05 Nov 2001 13:55:48 +0100 |
paulson |
new Sqrt example
|
file |
diff |
annotate
|
| Sat, 03 Nov 2001 01:35:11 +0100 |
wenzelm |
moved String into Main;
|
file |
diff |
annotate
|
| Fri, 02 Nov 2001 22:01:58 +0100 |
wenzelm |
theory Calculation move to Set;
|
file |
diff |
annotate
|
| Sat, 20 Oct 2001 20:19:47 +0200 |
wenzelm |
document graphs for several sessions;
|
file |
diff |
annotate
|
| Fri, 19 Oct 2001 22:00:08 +0200 |
wenzelm |
got rid of Provers/split_paired_all.ML;
|
file |
diff |
annotate
|
| Sun, 14 Oct 2001 22:08:29 +0200 |
wenzelm |
moved rulify to ObjectLogic;
|
file |
diff |
annotate
|
| Sun, 14 Oct 2001 20:02:11 +0200 |
wenzelm |
removed Ord.thy (now part of HOL.thy).
|
file |
diff |
annotate
|
| Thu, 04 Oct 2001 15:41:43 +0200 |
wenzelm |
$(SRC)/Provers/induct_method.ML replaces Tools/induct_method.ML;
|
file |
diff |
annotate
|
| Wed, 03 Oct 2001 21:03:05 +0200 |
wenzelm |
Tools/induct_attrib.ML now part of Pure;
|
file |
diff |
annotate
|
| Mon, 01 Oct 2001 11:56:40 +0200 |
wenzelm |
added Ordinals example;
|
file |
diff |
annotate
|