doc-src/IsarRef/Thy/document/Quick_Reference.tex
Wed, 07 May 2008 13:04:12 +0200 wenzelm updated generated file;
Sat, 03 May 2008 13:36:11 +0200 wenzelm tuned syntax: props and facts;
less more (0) tip