src/HOL/Library/Code_Prolog.thy
2012-08-22 wenzelm 2012-08-22 prefer ML_file over old uses;
2012-03-25 huffman 2012-03-25 merged fork with new numeral representation (see NEWS)
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