doc-src/TutorialI/Advanced/WFrec.thy
Mon, 08 Oct 2001 12:13:34 +0200 wenzelm fixed numerals;
Fri, 28 Sep 2001 20:08:28 +0200 wenzelm oops;
Fri, 28 Sep 2001 19:17:01 +0200 wenzelm recdef (permissive);
less more (0) -10 -3 tip