doc-src/TutorialI/Misc/def_rewr.thy
Tue, 29 Aug 2000 16:05:13 +0200 nipkow *** empty log message ***
less more (0) -1 tip