isabelle: File revisions

src/HOL/Tools/Predicate_Compile/pred_compile_aux.ML

Sat, 24 Oct 2009 16:55:42 +0200	bulwahn	renamed functions from sizelim to more natural name depth_limited for compilation of depth-limited search in the predicate compiler	file \| diff \| annotate
Sat, 24 Oct 2009 16:55:42 +0200	bulwahn	moved argument expected_modes into options; improved mode check to only check mode of the named predicate	file \| diff \| annotate
Sat, 24 Oct 2009 16:55:42 +0200	bulwahn	added option show_mode_inference; added splitting of conjunctions in expand_tuples	file \| diff \| annotate
Sat, 24 Oct 2009 16:55:42 +0200	bulwahn	added option show_proof_trace	file \| diff \| annotate
Sat, 24 Oct 2009 16:55:42 +0200	bulwahn	added option show_intermediate_results	file \| diff \| annotate
Sat, 24 Oct 2009 16:55:42 +0200	bulwahn	continued cleaning up; moved tuple expanding to core	file \| diff \| annotate
Sat, 24 Oct 2009 16:55:42 +0200	bulwahn	cleaned up debugging messages; added options to code_pred command	file \| diff \| annotate
Sat, 24 Oct 2009 16:55:42 +0200	bulwahn	processing of tuples in introduction rules	file \| diff \| annotate
Wed, 23 Sep 2009 16:20:12 +0200	bulwahn	added first prototype of the extended predicate compiler	file \| diff \| annotate

isabelle