doc-src/IsarImplementation/Thy/prelim.thy
Fri, 03 Aug 2007 16:28:15 +0200 wenzelm replaced Theory.self_ref by Theory.check_thy, which now produces a checked ref;
less more (0) -10 -1 tip