src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy
Sun, 01 Aug 2010 10:15:43 +0200 bulwahn adding queens and symbolic derivation example for prolog code generation
Thu, 29 Jul 2010 17:27:58 +0200 bulwahn cleaning example file; more natural ordering of variable names
less more (0) -2 tip