equal
deleted
inserted
replaced
152 Also note that the indices are now natural numbers and not from some finite |
152 Also note that the indices are now natural numbers and not from some finite |
153 type. Finite cartesian products of euclidean spaces, products of euclidean |
153 type. Finite cartesian products of euclidean spaces, products of euclidean |
154 spaces the real and complex numbers are instantiated to be euclidean_spaces. |
154 spaces the real and complex numbers are instantiated to be euclidean_spaces. |
155 |
155 |
156 INCOMPATIBILITY. |
156 INCOMPATIBILITY. |
|
157 |
|
158 * Probability: Introduced pinfreal as real numbers with infinity. Use pinfreal |
|
159 as value for measures. Introduces Lebesgue Measure based on the integral in |
|
160 Multivariate Analysis. Proved Radon Nikodym for arbitrary sigma finite measure |
|
161 spaces. |
|
162 |
|
163 INCOMPATIBILITY. |
157 |
164 |
158 * Inductive package: offers new command "inductive_simps" to automatically |
165 * Inductive package: offers new command "inductive_simps" to automatically |
159 derive instantiated and simplified equations for inductive predicates, |
166 derive instantiated and simplified equations for inductive predicates, |
160 similar to inductive_cases. |
167 similar to inductive_cases. |
161 |
168 |