doc-src/IsarImplementation/Thy/Base.thy
Thu, 05 Mar 2009 02:27:54 +0100 wenzelm regenerated document;
Thu, 05 Mar 2009 02:20:06 +0100 wenzelm dummy changes to produce a new changeset of these files;
Mon, 16 Feb 2009 20:47:44 +0100 wenzelm observe usual theory naming conventions;
less more (0) tip