Mirkin.thy
2011-08-11 urbanc finished section about derivatives and closure properties
less more (0) tip