changeset 11108 | 43791f99d71e |
parent 11062 | e86340dc1d28 |
child 11109 | ce1cefc6c14c |
1.1 --- a/ANNOUNCE Tue Feb 13 16:05:09 2001 +0100 1.2 +++ b/ANNOUNCE Tue Feb 13 16:05:56 2001 +0100 1.3 @@ -27,7 +27,7 @@ 1.4 Thomas M Rasmussen, Markus Wenzel) 1.5 A collection of generic theories to be used together with main HOL. 1.6 1.7 - * HOL/Real and HOL/Hyperreal (Lawrence C Paulson and Jacques Fleuriot) 1.8 + * HOL/Real and HOL/Hyperreal (Jacques Fleuriot and Lawrence C Paulson) 1.9 General cleanup, more on nonstandard real analysis. 1.10 1.11 * HOL/Unix (Markus Wenzel)