src/HOL/ex/While_Combinator_Example.thy
Mon, 12 Sep 2011 07:55:43 +0200 nipkow new fastforce replacing fastsimp - less confusing name
Sun, 13 Mar 2011 22:55:50 +0100 wenzelm tuned headers;
Wed, 29 Dec 2010 17:34:41 +0100 wenzelm explicit file specifications -- avoid secondary load path;
less more (0) -3 tip