isabelle: Changelog

blanchet [Mon, 02 May 2011 12:09:33 +0200] rev 42605

Vampire sometimes generates formulas with ~ (not) followed by a quantified subformula, without parentheses -- parse these correctly

blanchet [Mon, 02 May 2011 12:09:33 +0200] rev 42604

tuning

blanchet [Mon, 02 May 2011 12:09:33 +0200] rev 42603

make SML/NJ happy

blanchet [Mon, 02 May 2011 12:09:33 +0200] rev 42602

added TPTP exporter facility -- useful to do experiments with machine learning

blanchet [Mon, 02 May 2011 12:09:33 +0200] rev 42601

renamed theory to make its purpose clearer

bulwahn [Mon, 02 May 2011 10:50:09 +0200] rev 42600

fixing typo

bulwahn [Mon, 02 May 2011 10:50:09 +0200] rev 42599

improving naming of fresh variables in OCaml serializer

bulwahn [Mon, 02 May 2011 10:50:07 +0200] rev 42598

adding code generation setup for String.implode and String.explode in OCaml (contributed by Andreas Lochbihler)

wenzelm [Mon, 02 May 2011 01:20:28 +0200] rev 42597

merged;

wenzelm [Mon, 02 May 2011 01:05:50 +0200] rev 42596

modernized rail diagrams using @{rail} antiquotation;

isabelle