isabelle: Changelog

bulwahn [Mon, 09 Jul 2012 10:04:07 +0200] rev 48222

adding the hotel key card example in Quickcheck-Examples

bulwahn [Mon, 09 Jul 2012 09:47:59 +0200] rev 48221

adding a missing entry to predicate compiler's setup

blanchet [Mon, 09 Jul 2012 23:58:05 +0200] rev 48220

compile

blanchet [Mon, 09 Jul 2012 23:23:12 +0200] rev 48219

tuning

blanchet [Mon, 09 Jul 2012 23:23:12 +0200] rev 48218

cleanup

blanchet [Mon, 09 Jul 2012 23:23:12 +0200] rev 48217

more precise dependencies -- eliminate tautologies

blanchet [Mon, 09 Jul 2012 23:23:12 +0200] rev 48216

generate problem file

blanchet [Mon, 09 Jul 2012 23:23:12 +0200] rev 48215

improve feature list generation

blanchet [Mon, 09 Jul 2012 23:23:12 +0200] rev 48214

cleaner accessibility file

blanchet [Mon, 09 Jul 2012 23:23:12 +0200] rev 48213

first go at generating files for MaSh (machine-learning Sledgehammer)

isabelle