| Mon, 26 Apr 2010 09:21:25 -0700 | huffman | fix lots of looping simp calls and other warnings | file | diff | annotate |
| Mon, 26 Apr 2010 11:34:19 +0200 | haftmann | dropped group_simps, ring_simps, field_eq_simps | file | diff | annotate |
| Tue, 02 Mar 2010 21:32:37 +0100 | himmelma | replaced \<bullet> with inner | file | diff | annotate |
| Tue, 16 Feb 2010 15:16:33 +0100 | hoelzl | Rename transp to transpose in HOL-Multivariate_Analysis. (by himmelma) | file | diff | annotate |
| Fri, 05 Feb 2010 14:33:50 +0100 | haftmann | more consistent naming of type classes involving orderings (and lattices) -- c.f. NEWS | file | diff | annotate |
| 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 |
| Fri, 23 Oct 2009 13:23:18 +0200 | himmelma | distinguished session for multivariate analysis | file | diff | annotate |