src/HOL/Complex/ComplexBin.thy
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2004-02-15 paulson 2004-02-15 Polymorphic treatment of binary arithmetic using axclasses
2003-05-05 paulson 2003-05-05 new session Complex for the complex numbers