descriptionThe Isabelle repository
ownerisabelle
last changeFri, 24 Oct 2014 20:49:23 +0200
changes
6 hours ago wenzelm 2014-10-24 merged; default tip
15 hours ago wenzelm 2014-10-24 discontinued python from standard system environment;
16 hours ago wenzelm 2014-10-24 more generous default;
31 hours ago haftmann 2014-10-23 even further downshift of theory Parity in the hierarchy
31 hours ago haftmann 2014-10-23 further downshift of theory Parity in the hierarchy
12 hours ago hoelzl 2014-10-24 use NO_MATCH-simproc for distribution rules in field_simps, otherwise field_simps on '(a / (c + d)) * (e + f)' can be non-terminating
12 hours ago hoelzl 2014-10-24 move NO_MATCH simproc from the AFP entry Graph_Theory to HOL
34 hours ago haftmann 2014-10-23 repaired long-standing accident
36 hours ago haftmann 2014-10-23 explicit definition restores HOL Light import after cb9d84d3e7f2
36 hours ago haftmann 2014-10-23 tuned language and spelling
...
tags
2 months ago Isabelle2014
10 months ago Isabelle2013-2
11 months ago Isabelle2013-1
20 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
6 hours ago c385da5c665e default
...