| Sat, 17 Sep 2005 18:11:21 +0200 | wenzelm | minor cleanup, moved stuff in its proper place; | changeset | files |
| Sat, 17 Sep 2005 18:11:20 +0200 | wenzelm | generate: added HOL-Complex-Generate-HOLLight; | changeset | files |
| Sat, 17 Sep 2005 18:11:19 +0200 | wenzelm | added code generator setup (from Main.thy); | changeset | files |
| Sat, 17 Sep 2005 18:11:18 +0200 | wenzelm | lemmas [code] = imp_conv_disj (from Main.thy) -- Why does it need Datatype? | changeset | files |
| Sat, 17 Sep 2005 18:11:17 +0200 | wenzelm | HTML.with_charset; | changeset | files |
| Sat, 17 Sep 2005 17:35:26 +0200 | wenzelm | converted to Isar theory format; | changeset | files |
| Sat, 17 Sep 2005 14:02:31 +0200 | wenzelm | tuned document; | changeset | files |