isabelle: Changelog

wenzelm [Sat, 17 Sep 2005 18:11:23 +0200] rev 17463

removed spurious PolyML.exception_trace;

wenzelm [Sat, 17 Sep 2005 18:11:22 +0200] rev 17462

moved setup ResAxioms.clause_setup to Main.thy (it refers to all previous theories);

wenzelm [Sat, 17 Sep 2005 18:11:21 +0200] rev 17461

minor cleanup, moved stuff in its proper place;

wenzelm [Sat, 17 Sep 2005 18:11:20 +0200] rev 17460

generate: added HOL-Complex-Generate-HOLLight;

wenzelm [Sat, 17 Sep 2005 18:11:19 +0200] rev 17459

added code generator setup (from Main.thy);

wenzelm [Sat, 17 Sep 2005 18:11:18 +0200] rev 17458

lemmas [code] = imp_conv_disj (from Main.thy) -- Why does it need Datatype?

wenzelm [Sat, 17 Sep 2005 18:11:17 +0200] rev 17457

HTML.with_charset;

wenzelm [Sat, 17 Sep 2005 17:35:26 +0200] rev 17456

converted to Isar theory format;

wenzelm [Sat, 17 Sep 2005 14:02:31 +0200] rev 17455

tuned document;

wenzelm [Sat, 17 Sep 2005 12:51:03 +0200] rev 17454

obsolete;

isabelle