descriptionThe Isabelle repository
ownerisabelle
last changeTue, 30 Sep 2014 22:43:20 +0200
changes
21 hours ago nipkow 2014-09-30 tuned default tip
24 hours ago wenzelm 2014-09-30 tuned;
25 hours ago nipkow 2014-09-30 tuned
27 hours ago blanchet 2014-09-30 don't call 'hd' on a possibly empty list
28 hours ago blanchet 2014-09-30 proper types for applied variables, for typed formats (TFF0, DFG)
28 hours ago blanchet 2014-09-30 don't affect other subgoals with 'auto' in one-liner proofs
29 hours ago blanchet 2014-09-30 tuned output in case of one-liner failure
29 hours ago blanchet 2014-09-30 updated docs with two provers: veriT and Zipperposition
29 hours ago blanchet 2014-09-30 give more facts to veriT -- it seems to be able to cope with them
29 hours ago blanchet 2014-09-30 use native encoding with Vampire -- modern versions handle types better than the old ones
...
tags
6 weeks ago Isabelle2014
10 months ago Isabelle2013-2
10 months ago Isabelle2013-1
19 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
21 hours ago 5f88c142676d default
...