doc-src/IsarImplementation/Thy/Logic.thy
Wed, 25 Jan 2012 21:14:00 +0100 wenzelm tuned ML infixes;
less more (0) -30 -10 -1 tip