src/HOL/Predicate_Compile_Examples/Context_Free_Grammar_Example.thy
Tue, 31 Aug 2010 15:07:51 +0200 bulwahn adding further example for quickcheck with prolog code generation
less more (0) tip