doc-src/IsarRef/Thy/document/Generic.tex
Wed, 07 May 2008 13:04:12 +0200 wenzelm updated generated file;
Tue, 06 May 2008 23:33:05 +0200 wenzelm converted "General logic setup";
Tue, 06 May 2008 00:12:03 +0200 wenzelm updated generated file;
Mon, 05 May 2008 15:23:21 +0200 wenzelm converted generic.tex to Thy/Generic.thy;
less more (0) tip