doc-src/TutorialI/Inductive/AB.thy
Sat, 19 May 2001 12:19:23 +0200 paulson spelling check
less more (0) -10 -1 tip