src/HOL/Complex/ex/BinEx.thy
2004-02-03 paulson 2004-02-03 tidying of the complex numbers
2003-05-28 paulson 2003-05-28 examples now use Complex_Main
2003-05-06 paulson 2003-05-06 removal of the image HOL-Real and merging of HOL-Real-ex with HOL-Complex-ex