doc-src/IsarImplementation/implementation.tex
Mon, 16 Feb 2009 20:47:44 +0100 wenzelm observe usual theory naming conventions;
less more (0) -10 -1 tip