changeset 24633 | 0a3a02066244 |
parent 24627 | cc6768509ed3 |
child 24636 | e758837c0d18 |
--- a/NEWS Tue Sep 18 17:53:37 2007 +0200 +++ b/NEWS Tue Sep 18 18:05:34 2007 +0200 @@ -1142,7 +1142,7 @@ *** ML *** -* Generic arithmetic modules: Tools/integer.ML, Tools/rat.ML, Tools/float.ML +* Generic arithmetic modules: Tools/rat.ML, Tools/float.ML * Context data interfaces (Theory/Proof/GenericDataFun): removed name/print, uninitialized data defaults to ad-hoc copy of empty value,