src/HOL/Library/Code_Prolog.thy
2010-08-25 bulwahn 2010-08-25 invocation of values for prolog execution does not require invocation of code_pred anymore
2010-08-01 bulwahn 2010-08-01 setting up Code_Prolog_Examples