doc-src/TutorialI/Inductive/Advanced.thy
Thu, 12 Jun 2008 14:20:25 +0200 nipkow typo
Thu, 19 Jul 2007 15:29:51 +0200 berghofe LaTeX code is now generated directly from theory file.
less more (0) -2 tip