bulwahn@38117: (*  Title:      HOL/Library/Code_Prolog.thy
bulwahn@38117:     Author:     Lukas Bulwahn, TUM 2010
bulwahn@38117: *)
bulwahn@38117: 
bulwahn@38117: header {* Code generation of prolog programs *}
bulwahn@38117: 
bulwahn@38117: theory Code_Prolog
bulwahn@38117: imports Main
bulwahn@38117: uses "~~/src/HOL/Tools/Predicate_Compile/code_prolog.ML"
bulwahn@38117: begin
bulwahn@38117: 
bulwahn@38731: section {* Setup for Numerals *}
bulwahn@38731: 
bulwahn@38731: setup {* Predicate_Compile_Data.ignore_consts [@{const_name number_of}] *}
bulwahn@38731: setup {* Predicate_Compile_Data.keep_functions [@{const_name number_of}] *}
bulwahn@38731: 
bulwahn@38117: end
bulwahn@38117: