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 -30 +30 +50 +100 +300 +1000 +3000 +10000 tip

premises in 'show' are treated like 'assume';
2015-06-27, by wenzelm
adapted to a9b71c82647b;
2015-06-26, by wenzelm
merged
2015-06-26, by wenzelm
isabelle update_cartouches;
2015-06-26, by wenzelm
more symbols;
2015-06-26, by wenzelm
tuned proofs;
2015-06-26, by wenzelm
do not expose goal parameters;
2015-06-26, by wenzelm
more symbols;
2015-06-26, by wenzelm
more symbols;
2015-06-26, by wenzelm
proper spacing, as for other syntax for these symbols;
2015-06-26, by wenzelm
tuned whitespace;
2015-06-26, by wenzelm
updated SystemOnTPTP URL
2015-06-26, by blanchet
tuned proofs;
2015-06-26, by wenzelm
merged
2015-06-25, by wenzelm
implicit goal cases are legacy;
2015-06-25, by wenzelm
tuned proofs;
2015-06-25, by wenzelm
more heap -- hoping for more stability of HOL-Proofs;
2015-06-25, by wenzelm
added method "goals" for proper subgoal cases;
2015-06-25, by wenzelm
tuned signature;
2015-06-25, by wenzelm
tuned signature;
2015-06-25, by wenzelm
tuned;
2015-06-25, by wenzelm
tuned;
2015-06-25, by wenzelm
tuned signature;
2015-06-25, by wenzelm
streamlined definitions and primitive lemma of euclidean algorithm, including code generation
2015-06-25, by haftmann
euclidean algorithm on polynomials
2015-06-25, by haftmann
more theorems
2015-06-25, by haftmann
generalized to definition from literature, which covers also polynomials
2015-06-25, by haftmann
put E before (typically remote, hence less reliable) Vampire
2015-06-25, by blanchet
tuned proofs -- less digits;
2015-06-24, by wenzelm
updated to scala-2.11.7;
2015-06-24, by wenzelm

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

isabelle