doc-src/TutorialI/Recdef/Nested1.thy
Fri, 28 Sep 2001 20:08:28 +0200 wenzelm oops;
less more (0) -10 -1 tip