descriptionThe Isabelle repository
ownerisabelle
last changeThu, 24 Apr 2014 21:00:00 +0200
changes
4 hours ago blanchet 2014-04-24 really unfold default tip
7 hours ago haftmann 2014-04-24 avoid non-standard simp default rule
15 hours ago haftmann 2014-04-24 now covered by AFP 3ddac3e572cf
25 hours ago blanchet 2014-04-24 avoid name shadowing
25 hours ago blanchet 2014-04-24 spelling
31 hours ago kuncar 2014-04-23 predicator simplification rules: support also partially specialized types e.g. 'a * nat
31 hours ago kuncar 2014-04-23 all BNF tests can be part of a normal session because they are much faster now
32 hours ago wenzelm 2014-04-23 merged
33 hours ago wenzelm 2014-04-23 tuned;
34 hours ago wenzelm 2014-04-23 modernized Future/Promise implementation, bypassing old actors;
...
tags
4 months ago Isabelle2013-2
5 months ago Isabelle2013-1
14 months ago Isabelle2013
23 months ago Isabelle2012
2011-10-09 Isabelle2011-1
2011-01-30 Isabelle2011
2010-06-21 Isabelle2009-2
2009-12-02 Isabelle2009-1
2009-04-16 Isabelle2009
2008-06-08 Isabelle2008
...
branches
4 hours ago d39926ff0487 default
...