doc-src/IsarImplementation/Thy/Logic.thy
Mon, 16 Apr 2012 21:53:11 +0200 wenzelm updated and clarified OF/MRS;
Wed, 28 Mar 2012 11:17:32 +0200 wenzelm updated Sign.add_type, Name_Space.declare;
less more (0) -30 -10 -2 tip