doc-src/IsarImplementation/Thy/Base.thy
Wed, 22 Aug 2012 22:55:41 +0200 wenzelm prefer ML_file over old uses;
less more (0) -1 tip