isabelle: Changelog

blanchet [Tue, 10 Jul 2012 23:36:03 +0200] rev 48227

tuning

blanchet [Tue, 10 Jul 2012 23:36:03 +0200] rev 48226

generate deep terms as feature

blanchet [Tue, 10 Jul 2012 23:36:03 +0200] rev 48225

generate theory name as a feature

bulwahn [Tue, 10 Jul 2012 18:41:34 +0200] rev 48224

adding an example using Quickcheck to find a valid trace for the needham-schroeder protocol (a case study for Quickcheck)

bulwahn [Tue, 10 Jul 2012 13:45:08 +0200] rev 48223

merged

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

isabelle