doc-src/TutorialI/Rules/document/find2.tex
Fri, 24 Jun 2005 13:22:08 +0200 paulson stylistic tweaks concerning Find
Fri, 24 Jun 2005 01:09:16 +0200 kleing needed for Isabelle independent build
less more (0) tip