src/HOL/Library/While_Combinator.thy
Sat, 03 Feb 2001 17:43:05 +0100 wenzelm tuned;
Mon, 29 Jan 2001 23:54:56 +0100 wenzelm avoid dead code;
Fri, 26 Jan 2001 15:50:52 +0100 nipkow Merged Example into While_Combi
Wed, 03 Jan 2001 21:24:29 +0100 wenzelm recdef_tc;
Thu, 14 Dec 2000 19:37:27 +0100 wenzelm unsymbolize;
Wed, 13 Dec 2000 09:32:55 +0100 nipkow small mods.
Thu, 19 Oct 2000 01:48:26 +0200 wenzelm use RecdefPackage.tcs_of;
Wed, 18 Oct 2000 23:29:49 +0200 wenzelm A general ``while'' combinator (from main HOL);
less more (0) tip