doc-src/TutorialI/Misc/simp.thy
Wed, 22 Jun 2005 19:43:48 +0200 nipkow tunes Find
Wed, 22 Jun 2005 09:26:18 +0200 nipkow *** empty log message ***
Tue, 21 Jun 2005 21:38:27 +0200 nipkow added find thms section
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
less more (0) -10 -4 tip