doc-src/TutorialI/Recdef/Nested1.thy
Thu, 09 Aug 2001 18:12:15 +0200 paulson revisions and indexing
less more (0) -10 -1 tip