descriptionThe Isabelle repository
ownerisabelle
last changeMon, 16 Jul 2018 15:24:06 +0200
changes
3 hours ago Manuel Eberl 2018-07-16 Made simproc for sqrt/root of numeral more robust default tip
10 hours ago Andreas Lochbihler 2018-07-16 merged
18 hours ago Andreas Lochbihler 2018-07-15 merged
18 hours ago Andreas Lochbihler 2018-07-15 more examples for Code_Lazy
19 hours ago paulson 2018-07-15 de-applying and meta-quantifying
23 hours ago paulson 2018-07-15 merged
23 hours ago paulson 2018-07-15 more renaming fixes
25 hours ago paulson 2018-07-15 fixes and more de-applying
28 hours ago paulson 2018-07-15 more de-applying and a fix
31 hours ago paulson 2018-07-15 merged
...
tags
2 weeks ago Isabelle2018-RC1
5 weeks ago Isabelle2018-RC0
9 months ago Isabelle2017
19 months ago Isabelle2016-1
2016-02-15 Isabelle2016
2015-05-23 Isabelle2015
2014-08-18 Isabelle2014
2013-12-04 Isabelle2013-2
2013-11-09 Isabelle2013-1
2013-02-11 Isabelle2013
...
branches
3 hours ago d812b6ee711b default
...