bulwahn [Wed, 11 Jul 2012 13:59:39 +0200] rev 49259
merged
bulwahn [Wed, 11 Jul 2012 13:54:37 +0200] rev 49258
adding three variants of the Needham-Schroeder formalisation as case studies for Quickcheck
blanchet [Wed, 11 Jul 2012 11:28:27 +0200] rev 49257
comment
blanchet [Wed, 11 Jul 2012 11:28:10 +0200] rev 49256
nicer output
blanchet [Wed, 11 Jul 2012 09:32:29 +0200] rev 49255
rationalized output
blanchet [Tue, 10 Jul 2012 23:36:03 +0200] rev 49254
generate Meng--Paulson facts for evaluation purposes
blanchet [Tue, 10 Jul 2012 23:36:03 +0200] rev 49253
tuning
blanchet [Tue, 10 Jul 2012 23:36:03 +0200] rev 49252
export useful functions
blanchet [Tue, 10 Jul 2012 23:36:03 +0200] rev 49251
instantiate induction rules
blanchet [Tue, 10 Jul 2012 23:36:03 +0200] rev 49250
MaSh evaluation driver