descriptionThe Isabelle repository
ownerisabelle
last changeMon, 20 Oct 2014 18:33:14 +0200
changes
20 hours ago hoelzl 2014-10-20 add tendsto_const and tendsto_ident_at as simp and intro rules default tip
16 hours ago wenzelm 2014-10-20 tuned spacing;
16 hours ago wenzelm 2014-10-20 avoid odd ligatures;
17 hours ago wenzelm 2014-10-20 more accurate approximation of AST;
17 hours ago wenzelm 2014-10-20 tuned exposition of {* ... *};
17 hours ago wenzelm 2014-10-20 more antiquotations; tuned spacing;
18 hours ago wenzelm 2014-10-20 more antiquotations; tuned spacing;
21 hours ago kuncar 2014-10-20 register transfer rules from BNF and FP_Sugar
21 hours ago kuncar 2014-10-20 refactored
21 hours ago wenzelm 2014-10-20 merged
...
tags
2 months ago Isabelle2014
10 months ago Isabelle2013-2
11 months ago Isabelle2013-1
20 months ago 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
20 hours ago e8ecc79aee43 default
...