src/HOL/Predicate_Compile_Examples/Lambda_Example.thy
Tue, 31 Aug 2010 11:49:15 +0200 bulwahn improving clash-free naming of variables and preds in code_prolog
less more (0) -1 tip