doc-src/TutorialI/Advanced/Partial.thy
Thu, 09 Aug 2001 18:12:15 +0200 paulson revisions and indexing
Tue, 17 Jul 2001 13:46:21 +0200 paulson tidying the index
Sat, 19 May 2001 12:19:23 +0200 paulson spelling check
less more (0) -10 -3 tip