src/HOL/Tools/Predicate_Compile/code_prolog.ML
Wed, 25 Aug 2010 16:59:46 +0200 bulwahn adding very basic transformation to ensure groundness before negations
Thu, 19 Aug 2010 16:08:59 +0200 haftmann tuned quotes
Thu, 19 Aug 2010 11:02:14 +0200 haftmann use antiquotations for remaining unqualified constants in HOL
less more (0) -10 -3 tip