descriptionThe Isabelle repository
ownerisabelle
last changeSun, 26 Jun 2016 01:03:03 +0200
changes
3 days ago nipkow 2016-06-26 added fundef_cong rule default tip
5 days ago wenzelm 2016-06-24 misc tuning and modernization;
5 days ago wenzelm 2016-06-24 misc tuning and modernization;
5 days ago wenzelm 2016-06-23 merged
5 days ago wenzelm 2016-06-23 misc tuning and modernization;
6 days ago wenzelm 2016-06-23 tuned signature;
6 days ago haftmann 2016-06-23 avoid overlapping equations for gcd, lcm on integers
6 days ago haftmann 2016-06-23 compiling implicit instances into companion objects for classes avoids ambiguities
7 days ago Lars Hupel 2016-06-22 print statistics; tuned
7 days ago Lars Hupel 2016-06-22 adjust job/thread count for new hardware
...
tags
4 months ago Isabelle2016
13 months ago Isabelle2015
22 months ago 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
3 days ago bf2cf0653741 default
...