isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 +3000 +10000 +30000 tip

redid the Isar proofs using the latest Sledgehammer, eliminating the last occurrences of "neg_clausify" in proofs
2010-06-04, by blanchet
fix bugs in Sledgehammer's Isar proof "redirection" code
2010-06-04, by blanchet
handle Vampire's definitions smoothly
2010-06-02, by blanchet
fix bug in direct Isar proofs, which was exhibited by the "BigO" example
2010-06-02, by blanchet
honor "xsymbols"
2010-06-02, by blanchet
kill another neg_clausify proof
2010-06-02, by blanchet
show types in Isar proofs, but not for free variables;
2010-06-02, by blanchet
give more helpful error message
2010-06-02, by blanchet
first proposal for a announcement
2010-06-04, by haftmann
NEWS (more strict internal axioms/defs format)
2010-06-04, by krauss
one all-inclusive bundle for each platform;
2010-06-04, by wenzelm
more robust handling of additional type variables: warning, more canonical order, drop mixfix syntax if implicit type arguments are introduced (to avoid delusion due to shifted arguments);
2010-06-04, by wenzelm
tuned warning;
2010-06-04, by wenzelm
less ambitious settings;
2010-06-04, by wenzelm
spelling;
2010-06-04, by wenzelm
do not open Proofterm, which is very ould style;
2010-06-03, by wenzelm
eliminated ML structure alias;
2010-06-03, by wenzelm
tuned default perspective;
2010-06-03, by wenzelm
tracing in aliceblue;
2010-06-03, by wenzelm
discontinued obsolete Isar.context() -- long superseded by @{context};
2010-06-03, by wenzelm
diagnostic commands 'ML_val' and 'ML_command' may refer to antiquotations @{Isar.state} and @{Isar.goal};
2010-06-03, by wenzelm
allow qualified names;
2010-06-03, by wenzelm
CONTRIBUTORS
2010-06-03, by krauss
clarified
2010-06-03, by krauss

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle