descriptionThe Isabelle repository
ownerisabelle
last changeTue, 30 Aug 2016 09:04:40 +0200
changes
17 hours ago traytel 2016-08-30 generate proper goal when equation is entered programmatically default tip
28 hours ago wenzelm 2016-08-29 clarified default;
4 days ago Manuel Eberl 2016-08-26 Bohr-Mollerup theorem for the Gamma function
5 days ago ballarin 2016-08-25 Back to original example theorem.
5 days ago ballarin 2016-08-25 Improved error reporting when activating a locale instance.
5 days ago Manuel Eberl 2016-08-25 Deprivatisation of lemmas in Polynomial_Factorial
5 days ago Manuel Eberl 2016-08-25 More analysis lemmas
6 days ago nipkow 2016-08-24 added lemma
7 days ago traytel 2016-08-23 tuned signature
11 days ago nipkow 2016-08-19 replaced the confusing int parameter by bool
...
tags
6 months ago Isabelle2016
15 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
17 hours ago 2d21591967bc default
...