descriptionThe Isabelle repository
ownerisabelle
last changeThu, 24 Jul 2014 13:01:49 +0200
changes
3 hours ago kuncar 2014-07-24 prevent beta-contraction in proving extra assumptions for abs_eq default tip
4 hours ago wenzelm 2014-07-24 more robust notation BNF_Def.convol, which is private to main HOL, but may cause syntax ambiguities nonetheless (e.g. List.thy);
4 hours ago wenzelm 2014-07-24 reconfirm continuous checking on startup, to address common trap of disabling it accidentally;
4 hours ago wenzelm 2014-07-24 tuned;
6 hours ago wenzelm 2014-07-24 less authentic SHA1.digest: trust Scala side on blobs and avoid re-calculation via Foreign Language Interface, which might be a cause of problems;
6 hours ago wenzelm 2014-07-24 updated NEWS according to d38a98f496dd (see also bdc2c6b40bf2);
16 hours ago blanchet 2014-07-24 stick to external proofs when invoking E, because they are more detailed and do not merge steps
16 hours ago blanchet 2014-07-24 more robust handling of types for skolems (modeled as Frees)
16 hours ago blanchet 2014-07-24 tuning
16 hours ago blanchet 2014-07-24 repaired named derivations
...
tags
2 weeks ago Isabelle2014-RC0
7 months ago Isabelle2013-2
8 months ago Isabelle2013-1
17 months ago Isabelle2013
2012-05-20 Isabelle2012
2011-10-09 Isabelle2011-1
2011-01-30 Isabelle2011
2010-06-21 Isabelle2009-2
2009-12-02 Isabelle2009-1
2009-04-16 Isabelle2009
...
branches
3 hours ago 5bc43a73d768 default
...