descriptionThe Isabelle repository
ownerisabelle
last changeWed, 01 Apr 2015 14:48:38 +0100
changes
36 minutes ago paulson 2015-04-01 HOL Light Libraries for complex Arctan, Arcsin, Arccos default tip
76 minutes ago paulson 2015-04-01 arcsin and arccos lemmas
18 hours ago haftmann 2015-03-31 NEWS
18 hours ago haftmann 2015-03-31 given up separate type classes demanding `inverse 0 = 0`
22 hours ago paulson 2015-03-31 Merge
22 hours ago paulson 2015-03-31 rationalised and generalised some theorems concerning abs and x^2.
22 hours ago nipkow 2015-03-31 added lemmas
24 hours ago paulson 2015-03-31 Merge
24 hours ago paulson 2015-03-31 New material and binomial fix
25 hours ago blanchet 2015-03-31 tuned doc
...
tags
7 months ago Isabelle2014
16 months ago Isabelle2013-2
16 months ago Isabelle2013-1
2013-02-11 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
36 minutes ago 68d6b6aa4450 default
...