descriptionThe Isabelle repository
ownerisabelle
last changeFri, 06 Mar 2015 14:01:08 +0100
changes
4 hours ago wenzelm 2015-03-06 merged default tip
4 hours ago wenzelm 2015-03-06 merged
4 hours ago wenzelm 2015-03-06 clarified context;
18 hours ago wenzelm 2015-03-06 tuned -- more explicit use of context;
29 hours ago wenzelm 2015-03-05 tuned -- more explicit use of context;
4 hours ago paulson 2015-03-06 A few new lemmas and a bit of tidying up
23 hours ago paulson 2015-03-05 Merge
23 hours ago paulson 2015-03-05 The function frac. Various lemmas about limits, series, the exp function, etc.
25 hours ago blanchet 2015-03-05 avoid needless 'if ... undefined' in generated theorems
26 hours ago blanchet 2015-03-05 strengthened tactic
...
tags
6 months ago Isabelle2014
15 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
4 hours ago 92d7d8e4f1bf default
...