src/HOL/Predicate_Compile_Examples/Context_Free_Grammar_Example.thy
Thu, 16 Sep 2010 13:49:08 +0200 bulwahn adapting examples
Tue, 07 Sep 2010 11:51:53 +0200 bulwahn adapting example files
Tue, 31 Aug 2010 15:07:51 +0200 bulwahn adding further example for quickcheck with prolog code generation
less more (0) tip