isabelle: File revisions

src/HOL/Tools/Predicate_Compile/predicate_compile.ML

Sat, 24 Oct 2009 16:55:42 +0200	bulwahn	processing of tuples in introduction rules	file \| diff \| annotate
Sat, 24 Oct 2009 16:55:42 +0200	bulwahn	developing an executable the operator	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
Sat, 24 Oct 2009 16:55:40 +0200	bulwahn	added filtering of case constants in the definition retrieval of the predicate compiler	file \| diff \| annotate
Thu, 15 Oct 2009 21:28:39 +0200	wenzelm	normalized aliases of Output operations;	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 context free grammar example; removed dead code; adapted to work without quick and dirty mode; fixed typo	file \| diff \| annotate
Wed, 23 Sep 2009 16:20:12 +0200	bulwahn	added first prototype of the extended predicate compiler	file \| diff \| annotate

isabelle