isabelle: Changelog

immler [Tue, 18 Mar 2014 10:12:58 +0100] rev 56189

removed dependencies on theory Ordered_Euclidean_Space

immler [Tue, 18 Mar 2014 10:12:57 +0100] rev 56188

use cbox to relax class constraints

wenzelm [Mon, 17 Mar 2014 21:56:32 +0100] rev 56187

merged

wenzelm [Mon, 17 Mar 2014 20:54:41 +0100] rev 56186

tuned;

wenzelm [Mon, 17 Mar 2014 20:48:58 +0100] rev 56185

more antiquotations;

wenzelm [Mon, 17 Mar 2014 20:22:04 +0100] rev 56184

more robust machine-generated ML sources: constructors for typ and term sometimes occur elsewhere;

hoelzl [Mon, 17 Mar 2014 20:38:50 +0100] rev 56183

remove sums_seq, it is not used

hoelzl [Mon, 17 Mar 2014 19:50:59 +0100] rev 56182

update syntax of has_*derivative to infix 50; fixed proofs

hoelzl [Mon, 17 Mar 2014 19:12:52 +0100] rev 56181

unify syntax for has_derivative and differentiable

haftmann [Mon, 17 Mar 2014 18:06:59 +0100] rev 56180

tuned proofs

isabelle