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
Mon, 12 Jan 2004 16:51:45 +0100 paulson Added lemmas to Ring_and_Field with slightly modified simplification rules
less more (0) -10 -4 tip