src/HOL/Multivariate_Analysis/Complex_Analysis_Basics.thy
Sun, 02 Nov 2014 17:09:04 +0100 wenzelm modernized header;
Sat, 05 Jul 2014 11:01:53 +0200 haftmann prefer ac_simps collections over separate name bindings for add and mult
Wed, 07 May 2014 12:25:35 +0200 hoelzl avoid the Complex constructor, use the more natural Re/Im view; moved csqrt to Complex.
less more (0) -10 -3 tip