NEWS
changeset 12734 c5f6d8259ecd
parent 12728 4ed8ab7d677d
child 12736 80f10551fb59
     1.1 --- a/NEWS	Sun Jan 13 19:42:30 2002 +0100
     1.2 +++ b/NEWS	Sun Jan 13 19:45:17 2002 +0100
     1.3 @@ -251,6 +251,8 @@
     1.4  parts turned into readable document, with proper Isar proof texts and
     1.5  some explanations (by Gerwin Klein);
     1.6  
     1.7 +* HOL-Real: added Complex_Numbers (by Gertrud Bauer);
     1.8 +
     1.9  * HOL-Hyperreal is now a logic image;
    1.10  
    1.11