doc-src/IsarImplementation/Thy/Logic.thy
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;
less more (0) -10 -4 tip