doc-src/TutorialI/Recdef/termination.thy
Mon, 08 May 2006 17:40:25 +0200 wenzelm quoted 'termination' command;
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
less more (0) -10 -2 tip