doc-src/TutorialI/Advanced/WFrec.thy
Fri, 28 Sep 2001 19:17:01 +0200 wenzelm recdef (permissive);
less more (0) -10 -1 tip