2014-03-17 | wenzelm | tuned; | changeset | files |
2014-03-17 | wenzelm | more antiquotations; | changeset | files |
2014-03-17 | wenzelm | more robust machine-generated ML sources: constructors for typ and term sometimes occur elsewhere; | changeset | files |
2014-03-17 | hoelzl | remove sums_seq, it is not used | changeset | files |
2014-03-17 | hoelzl | update syntax of has_*derivative to infix 50; fixed proofs | changeset | files |
2014-03-17 | hoelzl | unify syntax for has_derivative and differentiable | changeset | files |
2014-03-17 | haftmann | tuned proofs | changeset | files |
Loading... |