doc-src/IsarImplementation/Thy/Logic.thy
Mon, 26 Apr 2010 11:20:18 +0200 wenzelm updated Sign.add_type_abbrev;
Fri, 16 Apr 2010 12:51:57 +0200 wenzelm made SML/NJ happy;
Wed, 14 Apr 2010 11:24:31 +0200 wenzelm updated Thm.add_axiom/add_def;
Tue, 23 Mar 2010 12:29:41 +0100 wenzelm updated Thm.add_axiom/add_def;
Tue, 02 Feb 2010 12:37:57 +0100 wenzelm misc tuning and clarification;
Thu, 28 Jan 2010 22:38:11 +0100 wenzelm formal markup of type aliases;
Mon, 26 Oct 2009 08:54:20 +0100 haftmann adjusted to changes in corresponding ML code
less more (0) -10 -7 tip