# HG changeset patch
# User hoelzl
# Date 1277974639 -7200
# Node ID e31fd427c285196b8429d46ff8dee6cd5a3fc038
# Parent  579258a77fec7a6071ca4ae0e7b6e79f5f537513
Updated NEWS

diff -r 579258a77fec -r e31fd427c285 NEWS
--- a/NEWS	Thu Jul 01 11:48:42 2010 +0200
+++ b/NEWS	Thu Jul 01 10:57:19 2010 +0200
@@ -41,7 +41,7 @@
 
   types
     nat ~> Nat.nat
-    * ~> Product_Type,*
+    * ~> Product_Type.*
     + ~> Sum_Type.+
 
   constants
@@ -72,6 +72,26 @@
 * code generator: do not print function definitions for case
 combinators any longer.
 
+* Multivariate Analysis: Introduced a type class for euclidean space. Most
+theorems are now stated in terms of euclidean spaces instead of finite
+cartesian products.
+
+  types
+    real ^ 'n ~>  'a::real_vector
+              ~>  'a::euclidean_space
+              ~>  'a::ordered_euclidean_space
+        (depends on your needs)
+
+  constants
+     _ $ _        ~> _ $$ _
+     \<chi> x. _  ~> \<chi>\<chi> x. _
+     CARD('n)     ~> DIM('a)
+
+Also note that the indices are now natural numbers and not from some finite
+type. Finite cartesian products of euclidean spaces, products of euclidean
+spaces the real and complex numbers are instantiated to be euclidean_spaces.
+
+INCOMPATIBILITY.
 
 
 New in Isabelle2009-2 (June 2010)