| Tue, 03 Sep 2013 01:12:40 +0200 | wenzelm | tuned proofs -- clarified flow of facts wrt. calculation; | file | diff | annotate |
| Tue, 13 Aug 2013 16:25:47 +0200 | wenzelm | standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find; | file | diff | annotate |
| Sat, 25 May 2013 15:44:29 +0200 | haftmann | weaker precendence of syntax for big intersection and union on sets | file | diff | annotate |
| Tue, 09 Apr 2013 14:04:47 +0200 | hoelzl | move FrechetDeriv from the Library to HOL/Deriv; base DERIV on FDERIV and both derivatives allow a restricted support set; FDERIV is now an abbreviation of has_derivative | file | diff | annotate |