isabelle: Changelog

bulwahn [Wed, 11 Jul 2012 13:54:37 +0200] rev 48243

adding three variants of the Needham-Schroeder formalisation as case studies for Quickcheck

blanchet [Wed, 11 Jul 2012 11:28:27 +0200] rev 48242

comment

blanchet [Wed, 11 Jul 2012 11:28:10 +0200] rev 48241

nicer output

blanchet [Wed, 11 Jul 2012 09:32:29 +0200] rev 48240

rationalized output

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

generate Meng--Paulson facts for evaluation purposes

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

tuning

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

export useful functions

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

instantiate induction rules

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

MaSh evaluation driver

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

moved MaSh into own files

isabelle