src/HOL/Predicate_Compile_Examples/Predicate_Compile_Examples.thy
Mon, 20 Sep 2010 09:26:18 +0200 bulwahn removing unnessary options for code_pred
Fri, 17 Sep 2010 17:31:20 +0200 wenzelm merged
Thu, 16 Sep 2010 13:49:14 +0200 bulwahn adding another context free grammar example for the predicate compiler
less more (0) -10 -3 tip