isabelle: Changelog

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

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

distinguish updates and queries + cleanups

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

don't ask E to generate a detailed proofs if not needed

isabelle