| 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 |