changeset 41959 | b460124855b8 |
parent 37887 | 2ae085b07f2f |
child 44065 | eb64ffccfc75 |
--- a/src/HOL/Complex.thy Sun Mar 13 22:24:10 2011 +0100 +++ b/src/HOL/Complex.thy Sun Mar 13 22:55:50 2011 +0100 @@ -1,4 +1,4 @@ -(* Title: Complex.thy +(* Title: HOL/Complex.thy Author: Jacques D. Fleuriot Copyright: 2001 University of Edinburgh Conversion to Isar and new proofs by Lawrence C Paulson, 2003/4