Derivatives.thy
2011-09-07 urbanc typos
2011-09-05 urbanc tuning on the derivatives and closures theories
2011-08-22 urbanc changes according to afp-submission
2011-08-12 urbanc small typo
2011-08-11 urbanc finished section about derivatives and closure properties
2011-08-11 urbanc slight polishing
2011-08-09 urbanc more on paper
less more (0) -10 -7 tip