src/HOL/Library/While_Combinator.thy
2001-01-29 wenzelm 2001-01-29 avoid dead code;
2001-01-26 nipkow 2001-01-26 Merged Example into While_Combi
2001-01-03 wenzelm 2001-01-03 recdef_tc;
2000-12-14 wenzelm 2000-12-14 unsymbolize;
2000-12-13 nipkow 2000-12-13 small mods.
2000-10-19 wenzelm 2000-10-19 use RecdefPackage.tcs_of;
2000-10-18 wenzelm 2000-10-18 A general ``while'' combinator (from main HOL);