diff -r f07e865d9d40 -r 7219facb3fd0 src/HOL/Complex/README.html --- a/src/HOL/Complex/README.html Mon Mar 07 18:40:36 2005 +0100 +++ b/src/HOL/Complex/README.html Mon Mar 07 19:17:07 2005 +0100 @@ -1,8 +1,15 @@ -
This directory defines the type complex of the complex numbers, @@ -56,5 +63,5 @@
Last modified $Date$ - +