isabelle: File revisions

src/HOL/Tools/Predicate_Compile/pred_compile_fun.ML

Sat, 24 Oct 2009 16:55:42 +0200	bulwahn	added first support for higher-order function translation	file \| diff \| annotate
Sat, 24 Oct 2009 16:55:42 +0200	bulwahn	added further examples; added mode to code_pred command; tuned; some temporary things in Predicate_Compile_ex	file \| diff \| annotate
Sat, 24 Oct 2009 16:55:42 +0200	bulwahn	added test for higher-order function inductification; added debug messages	file \| diff \| annotate
Thu, 15 Oct 2009 23:28:10 +0200	wenzelm	replaced String.concat by implode;	file \| diff \| annotate
Thu, 15 Oct 2009 21:28:39 +0200	wenzelm	normalized aliases of Output operations;	file \| diff \| annotate
Tue, 29 Sep 2009 16:24:36 +0200	wenzelm	explicit indication of Unsynchronized.ref;	file \| diff \| annotate
Wed, 23 Sep 2009 16:20:13 +0200	bulwahn	added first version of quickcheck based on the predicate compiler; added a few quickcheck examples	file \| diff \| annotate
Wed, 23 Sep 2009 16:20:12 +0200	bulwahn	added first prototype of the extended predicate compiler	file \| diff \| annotate

isabelle