doc-src/TutorialI/Misc/Itrev.thy
Wed, 02 Aug 2000 11:30:38 +0200 nipkow *** empty log message ***
Fri, 28 Jul 2000 16:02:51 +0200 nipkow apply. -> by
less more (0) tip