isabelle: Changelog

blanchet [Wed, 20 Feb 2013 17:15:06 +0100] rev 51210

tweaked hack some more

blanchet [Wed, 20 Feb 2013 17:12:21 +0100] rev 51209

more simplifying constructors

blanchet [Wed, 20 Feb 2013 17:05:24 +0100] rev 51208

remove needless steps from refutation graph -- these confuse the proof redirection algorithm (and are needless)

blanchet [Wed, 20 Feb 2013 16:21:04 +0100] rev 51207

more precise error

blanchet [Wed, 20 Feb 2013 15:43:51 +0100] rev 51206

improved hack

blanchet [Wed, 20 Feb 2013 15:26:19 +0100] rev 51205

upgraded to Alt-Ergo 0.95

blanchet [Wed, 20 Feb 2013 15:12:38 +0100] rev 51204

don't pass chained facts directly to SMT solvers -- this breaks various invariants and is never necessary

blanchet [Wed, 20 Feb 2013 14:47:19 +0100] rev 51203

trust preplayed proof in Mirabelle

blanchet [Wed, 20 Feb 2013 14:44:00 +0100] rev 51202

added case taken out by mistake

blanchet [Wed, 20 Feb 2013 14:21:17 +0100] rev 51201

tuning (removed redundant datatype)

isabelle