doc-src/IsarRef/Thy/Base.thy
Tue, 28 Aug 2012 12:22:10 +0200 wenzelm prefer doc-src/pdfsetup.sty;
less more (0) -1 tip