doc-src/IsarImplementation/Thy/Base.thy
Mon, 25 Oct 2010 11:16:23 +0200 wenzelm added ML antiquotation @{assert};
less more (0) -1 tip