src/HOL/Analysis/Winding_Numbers.thy
Tue, 28 Feb 2017 13:51:47 +0000 paulson Renamed ii to imaginary_unit in order to free up ii as a variable name. Also replaced some legacy def commands
Wed, 22 Feb 2017 15:04:59 +0000 paulson New theory about Winding Numbers
less more (0) tip