descriptionThe Isabelle repository
ownerisabelle
last changeWed, 28 Sep 2016 17:02:06 +0100
changes
9 hours ago paulson 2016-09-28 Merge default tip
9 hours ago paulson 2016-09-28 new material connected with HOL Light measure theory, plus more rationalisation
12 hours ago Lars Hupel 2016-09-28 sequential (jobs = 1) makeall profile
2 days ago haftmann 2016-09-26 syntactic type class for operation mod named after mod; simplified assumptions of type class semiring_div
2 days ago haftmann 2016-09-26 dropped tautological pattern
2 days ago haftmann 2016-09-26 more warning comments
2 days ago haftmann 2016-09-26 more lemmas
2 days ago haftmann 2016-09-26 spelling
34 hours ago paulson 2016-09-27 a few new theorems and a renaming
2 days ago hoelzl 2016-09-26 use filter to define Henstock-Kurzweil integration
...
tags
7 months ago Isabelle2016
16 months ago Isabelle2015
2014-08-18 Isabelle2014
2013-12-04 Isabelle2013-2
2013-11-09 Isabelle2013-1
2013-02-11 Isabelle2013
2012-05-20 Isabelle2012
2011-10-09 Isabelle2011-1
2011-01-30 Isabelle2011
2010-06-21 Isabelle2009-2
...
branches
9 hours ago b5d7806c9396 default
...