2006-09-05 wenzelm [Tue, 05 Sep 2006 22:05:41 +0200] rev 20480
more on types and type classes;
doc-src/IsarImplementation/Thy/logic.thy

2006-09-05 wenzelm [Tue, 05 Sep 2006 22:05:15 +0200] rev 20479
tuned;
doc-src/IsarImplementation/Thy/prelim.thy

2006-09-05 wenzelm [Tue, 05 Sep 2006 22:04:56 +0200] rev 20478
added \isactrlvec;
doc-src/IsarImplementation/style.sty

2006-09-05 wenzelm [Tue, 05 Sep 2006 16:42:32 +0200] rev 20477
tuned;
doc-src/IsarImplementation/Thy/document/isar.tex doc-src/IsarImplementation/Thy/document/locale.tex doc-src/IsarImplementation/Thy/document/logic.tex doc-src/IsarImplementation/Thy/document/prelim.tex doc-src/IsarImplementation/Thy/locale.thy doc-src/IsarImplementation/Thy/logic.thy doc-src/IsarImplementation/Thy/unused.thy

2006-09-05 wenzelm [Tue, 05 Sep 2006 16:42:23 +0200] rev 20476
more on names;
doc-src/IsarImplementation/Thy/prelim.thy

2006-09-04 wenzelm [Mon, 04 Sep 2006 20:07:55 +0200] rev 20475
tuned;
doc-src/IsarImplementation/Thy/document/integration.tex doc-src/IsarImplementation/Thy/document/prelim.tex doc-src/IsarImplementation/Thy/integration.thy doc-src/IsarImplementation/Thy/prelim.thy doc-src/IsarImplementation/implementation.tex

2006-09-04 wenzelm [Mon, 04 Sep 2006 19:49:39 +0200] rev 20474
tuned;
doc-src/IsarImplementation/Thy/document/proof.tex doc-src/IsarImplementation/Thy/document/tactic.tex doc-src/IsarImplementation/Thy/proof.thy doc-src/IsarImplementation/Thy/tactic.thy doc-src/IsarImplementation/Thy/unused.thy

2006-09-04 paulson [Mon, 04 Sep 2006 18:41:33 +0200] rev 20473
Using Drule.local_standard to reduce the space usage
src/HOL/Tools/res_axioms.ML

2006-09-04 wenzelm [Mon, 04 Sep 2006 17:06:45 +0200] rev 20472
tuned;
doc-src/IsarImplementation/IsaMakefile doc-src/IsarImplementation/Thy/ROOT.ML doc-src/IsarImplementation/Thy/document/logic.tex doc-src/IsarImplementation/Thy/document/proof.tex doc-src/IsarImplementation/Thy/document/session.tex doc-src/IsarImplementation/Thy/document/tactic.tex doc-src/IsarImplementation/Thy/isar.thy doc-src/IsarImplementation/Thy/logic.thy doc-src/IsarImplementation/Thy/proof.thy doc-src/IsarImplementation/Thy/tactic.thy doc-src/IsarImplementation/implementation.tex

2006-09-04 wenzelm [Mon, 04 Sep 2006 16:28:36 +0200] rev 20471
updated;
doc-src/IsarImplementation/Thy/document/logic.tex doc-src/IsarImplementation/Thy/document/prelim.tex doc-src/IsarImplementation/Thy/document/proof.tex