| 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
|
| 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
|
| Wed, 20 Sep 2000 21:20:26 +0200 |
wenzelm |
added "install" target;
|
changeset |
files
|
| Wed, 20 Sep 2000 21:20:01 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 20 Sep 2000 14:59:19 +0200 |
wenzelm |
tuned rpm command lines;
|
changeset |
files
|
| Wed, 20 Sep 2000 00:50:09 +0200 |
wenzelm |
updated;
|
changeset |
files
|
| Wed, 20 Sep 2000 00:02:26 +0200 |
wenzelm |
made SML/NJ happy;
|
changeset |
files
|
| Tue, 19 Sep 2000 23:54:25 +0200 |
wenzelm |
added common args keywords;
|
changeset |
files
|
| Tue, 19 Sep 2000 23:53:00 +0200 |
wenzelm |
tuned args;
|
changeset |
files
|
| Tue, 19 Sep 2000 23:52:37 +0200 |
wenzelm |
added iff_add_global', iff_add_local' (syntax "iff?");
|
changeset |
files
|
| Tue, 19 Sep 2000 23:52:00 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 19 Sep 2000 23:51:39 +0200 |
wenzelm |
attribute / modifier 'iff': support "?" mode;
|
changeset |
files
|
| Tue, 19 Sep 2000 23:51:00 +0200 |
wenzelm |
tuned msg;
|
changeset |
files
|
| Tue, 19 Sep 2000 23:50:43 +0200 |
wenzelm |
updated;
|
changeset |
files
|