src/HOL/Predicate_Compile_Examples/Reg_Exp_Example.thy
Mon, 15 Jul 2013 20:36:27 +0200 wenzelm tuned line length;
Fri, 11 Nov 2011 08:32:48 +0100 bulwahn renaming example invocations: tester predicate_compile is renamed to smart_exhaustive
less more (0) -10 -2 tip