Thu, 07 Jan 2010 18:56:39 +0100 | hoelzl | finite annotation on cartesian product is now implicit. | file | diff | annotate |
Wed, 06 Jan 2010 13:07:30 +0100 | himmelma | Made finite cartesian products finite | file | diff | annotate |
Thu, 19 Nov 2009 11:57:30 +0100 | hoelzl | Added the contributions of Robert Himmelmann to CONTRIBUTIONS and NEWS | file | diff | annotate |
Thu, 19 Nov 2009 11:51:37 +0100 | hoelzl | Renamed vector_less_eq_def to the more usual name vector_le_def. | file | diff | annotate |
Tue, 17 Nov 2009 18:52:30 +0100 | hoelzl | Added derivation and Brouwer's fixpoint theorem in Multivariate Analysis (translated by Robert Himmelmann from HOL-light) | file | diff | annotate |