descriptionThe Isabelle repository
ownerisabelle
last changeFri, 21 Nov 2014 13:18:56 +0100
changes
3 hours ago Andreas Lochbihler 2014-11-21 add lemma following a proof suggestion by Joachim Breitner default tip
4 hours ago Andreas Lochbihler 2014-11-21 add lemma
4 hours ago Andreas Lochbihler 2014-11-21 register pmf as BNF
23 hours ago blanchet 2014-11-20 added CVC4 option that helps on JD
23 hours ago blanchet 2014-11-20 always generate patterns as lists of lists, to avoid confusing CVC4 (and stick to what SMT-LIB 2 actually says)
23 hours ago blanchet 2014-11-20 work around bug in CVC4, with boolean arguments to (co)datatypes
23 hours ago blanchet 2014-11-20 other way of crashing (with CVC4)
23 hours ago blanchet 2014-11-20 set right logic for CVC4 with (co)datatypes
23 hours ago blanchet 2014-11-20 removed explicit '--quant-cf' option to CVC4, now that it's the default
45 hours ago traytel 2014-11-19 more accurate lemma name
...
tags
3 months ago Isabelle2014
11 months ago Isabelle2013-2
12 months ago Isabelle2013-1
21 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 d885cff91200 default
...