| 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
|
| Thu, 21 Sep 2000 12:25:48 +0200 |
kleing |
Digest.thy as toplevel theory
|
changeset |
files
|
| Thu, 21 Sep 2000 12:25:07 +0200 |
kleing |
theorem digest of all MicroJava theorems, theories in alphabetical order
|
changeset |
files
|
| Thu, 21 Sep 2000 12:17:11 +0200 |
fleuriot |
New theories: construction of hypernaturals, nonstandard extensions,
|
changeset |
files
|
| Thu, 21 Sep 2000 12:13:36 +0200 |
kleing |
tuned, added lightweight BV to abstract, added Bali link
|
changeset |
files
|
| Thu, 21 Sep 2000 12:11:38 +0200 |
fleuriot |
Updated Files with new theorems
|
changeset |
files
|
| Thu, 21 Sep 2000 10:42:49 +0200 |
kleing |
unsymbolized
|
changeset |
files
|
| Wed, 20 Sep 2000 21:20:41 +0200 |
wenzelm |
removed dead code;
|
changeset |
files
|