* HOL: symbolic syntax for x^2 (numeral 2);
authorwenzelm
Sun Jan 13 21:12:43 2002 +0100 (2002-01-13)
changeset 1273680f10551fb59
parent 12735 09a224f7d776
child 12737 b0b012b11a36
* HOL: symbolic syntax for x^2 (numeral 2);
NEWS
     1.1 --- a/NEWS	Sun Jan 13 21:09:17 2002 +0100
     1.2 +++ b/NEWS	Sun Jan 13 21:12:43 2002 +0100
     1.3 @@ -182,6 +182,8 @@
     1.4  
     1.5    - remove all special provisions on numerals in proofs;
     1.6  
     1.7 +* HOL: symbolic syntax for x^2 (numeral 2);
     1.8 +
     1.9  * HOL: the class of all HOL types is now called "type" rather than
    1.10  "term"; INCOMPATIBILITY, need to adapt references to this type class
    1.11  in axclass/classes, instance/arities, and (usually rare) occurrences