doc-src/TutorialI/Rules/Basic.thy
Mon, 26 Feb 2001 10:41:24 +0100 paulson minor fixes
Fri, 16 Feb 2001 13:47:06 +0100 paulson for the change to LEAST
Wed, 07 Feb 2001 16:37:24 +0100 paulson various revisions in response to comments from Tobias
less more (0) -3 tip