doc-src/IsarImplementation/Thy/Integration.thy
Thu, 03 Jun 2010 22:31:59 +0200 wenzelm discontinued obsolete Isar.context() -- long superseded by @{context};
Mon, 31 May 2010 21:06:57 +0200 wenzelm modernized some structure names, keeping a few legacy aliases;
Tue, 02 Feb 2010 13:22:36 +0100 wenzelm minimal tuning of this slightly dated material;
less more (0) -3 tip