Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
swapped Fleuriot and Paulson
authorpaulson
Tue, 13 Feb 2001 16:05:56 +0100
changeset 11108 43791f99d71e
parent 11107 09879d39b3f5
child 11109 ce1cefc6c14c
swapped Fleuriot and Paulson
ANNOUNCE file | annotate | diff | comparison | revisions 
--- a/ANNOUNCE	Tue Feb 13 16:05:09 2001 +0100
+++ b/ANNOUNCE	Tue Feb 13 16:05:56 2001 +0100
@@ -27,7 +27,7 @@
       Thomas M Rasmussen, Markus Wenzel)
     A collection of generic theories to be used together with main HOL.
 
-  * HOL/Real and HOL/Hyperreal (Lawrence C Paulson and Jacques Fleuriot)
+  * HOL/Real and HOL/Hyperreal (Jacques Fleuriot and Lawrence C Paulson)
     General cleanup, more on nonstandard real analysis.
 
   * HOL/Unix (Markus Wenzel)
isabelle