doc-src/TutorialI/Documents/Documents.thy
Wed, 18 Aug 2004 11:44:17 +0200 nipkow import -> imports
Mon, 16 Aug 2004 19:47:01 +0200 nipkow Adapted text to new theory header syntax.
Fri, 26 Mar 2004 05:32:00 +0100 kleing symbols in idents
less more (0) -10 -3 tip