| Fri, 22 Sep 2000 13:16:24 +0200 |
kleing |
removed JVM/Store.ML, added theorem Digest in MicroJava
|
changeset |
files
|
| Fri, 22 Sep 2000 13:13:15 +0200 |
kleing |
lemma now in Store.thy
|
changeset |
files
|
| Fri, 22 Sep 2000 13:12:19 +0200 |
kleing |
converted to Isar, tuned
|
changeset |
files
|
| Thu, 21 Sep 2000 19:25:57 +0200 |
kleing |
tuned spacing for document generation
|
changeset |
files
|
| Thu, 21 Sep 2000 18:58:25 +0200 |
fleuriot |
*** empty log message ***
|
changeset |
files
|
| Thu, 21 Sep 2000 18:47:18 +0200 |
wenzelm |
renamed to Records.thy;
|
changeset |
files
|
| Thu, 21 Sep 2000 18:33:48 +0200 |
wenzelm |
improved \isachartilde for non-tt styles;
|
changeset |
files
|
| Thu, 21 Sep 2000 15:58:13 +0200 |
wenzelm |
renamed HOL/ex/Points to HOL/ex/Records;
|
changeset |
files
|
| Thu, 21 Sep 2000 14:55:46 +0200 |
kleing |
added height="100%" to stretch page to whole browser window
|
changeset |
files
|
| Thu, 21 Sep 2000 14:54:24 +0200 |
kleing |
added headline, "quick download", and mailing list archive
|
changeset |
files
|
| Thu, 21 Sep 2000 14:31:51 +0200 |
kleing |
added height="100%" to stretch page to whole browser window
|
changeset |
files
|
| Thu, 21 Sep 2000 12:26:37 +0200 |
wenzelm |
*** empty log message ***
|
changeset |
files
|