src/HOL/Library/Code_Prolog.thy
2012-08-22 wenzelm prefer ML_file over old uses;
2012-03-25 huffman merged fork with new numeral representation (see NEWS)
2010-08-25 bulwahn invocation of values for prolog execution does not require invocation of code_pred anymore
2010-08-01 bulwahn setting up Code_Prolog_Examples
less more (0) tip