| Wed, 28 Jan 2015 11:17:21 +0100 | hoelzl | moved bcontfun from AFP/Ordinary_Differential_Equations | file | diff | annotate |
| Wed, 02 Apr 2014 18:35:02 +0200 | hoelzl | reorder Complex_Analysis_Basics; rename DD to deriv | file | diff | annotate |
| Tue, 18 Mar 2014 10:12:58 +0100 | immler | removed dependencies on theory Ordered_Euclidean_Space | file | diff | annotate |