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 |