isabelle: Changelog

hoelzl [Mon, 22 Feb 2010 20:41:49 +0100] rev 35292

Replaced Integration by Multivariate-Analysis/Real_Integration

himmelma [Mon, 22 Feb 2010 20:08:10 +0100] rev 35291

Support for one-dimensional integration in Multivariate-Analysis

himmelma [Thu, 18 Feb 2010 22:11:19 +0100] rev 35290

Equivalence between DERIV and one-dimensional derivation in Multivariate-Analysis

huffman [Mon, 22 Feb 2010 11:19:15 -0800] rev 35289

merged

huffman [Mon, 22 Feb 2010 11:17:41 -0800] rev 35288

add mixfix field to type Domain_Library.cons

huffman [Mon, 22 Feb 2010 09:43:36 -0800] rev 35287

remove unnecessary local

huffman [Sun, 21 Feb 2010 08:59:39 -0800] rev 35286

update to use fixrec package

blanchet [Mon, 22 Feb 2010 19:31:18 +0100] rev 35285

merge

blanchet [Mon, 22 Feb 2010 19:31:00 +0100] rev 35284

enabled Nitpick's support for quotient types + shortened the Nitpick tests a bit

blanchet [Mon, 22 Feb 2010 14:36:10 +0100] rev 35283

filter out trivial definitions in Nitpick (e.g. "Topology.topo" from AFP)

isabelle