| Mon, 25 Sep 2000 12:04:10 +0200 |
wenzelm |
include "Isabelle" link;
|
changeset |
files
|
| Sat, 23 Sep 2000 16:12:07 +0200 |
paulson |
tidied, removing obsolete "goal" commands
|
changeset |
files
|
| Sat, 23 Sep 2000 16:11:38 +0200 |
paulson |
new theorems and comment
|
changeset |
files
|
| Sat, 23 Sep 2000 16:08:23 +0200 |
paulson |
renaming the inverse image operator in HOL
|
changeset |
files
|
| Sat, 23 Sep 2000 16:02:01 +0200 |
paulson |
added compatibility relation: AllowedActs, Allowed, ok,
|
changeset |
files
|
| Fri, 22 Sep 2000 17:25:09 +0200 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Fri, 22 Sep 2000 17:24:36 +0200 |
wenzelm |
AddXIs [equal_intr_rule];
|
changeset |
files
|
| Fri, 22 Sep 2000 16:28:53 +0200 |
kleing |
added HTML syntax; added spaces in normal syntax for better documents
|
changeset |
files
|
| Fri, 22 Sep 2000 16:28:04 +0200 |
kleing |
added HTML syntax
|
changeset |
files
|
| 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
|