doc-src/IsarImplementation/Thy/Logic.thy
Wed, 25 Jan 2012 13:31:56 +0100 wenzelm tuned;
less more (0) -30 -10 -1 tip