isabelle: Changelog

wenzelm [Fri, 28 Oct 2011 15:38:41 +0200] rev 45289

slightly more explicit/syntactic modelling of morphisms;

hoelzl [Fri, 28 Oct 2011 14:10:19 +0200] rev 45288

correct import path

hoelzl [Fri, 28 Oct 2011 14:06:06 +0200] rev 45287

allow to build Probability and MV-Analysis with one ROOT.ML

bulwahn [Fri, 28 Oct 2011 12:37:18 +0200] rev 45286

removing dead code

huffman [Fri, 28 Oct 2011 10:33:23 +0200] rev 45285

ex/Simproc_Tests.thy: remove duplicate simprocs

huffman [Fri, 28 Oct 2011 11:02:27 +0200] rev 45284

use simproc_setup for cancellation simprocs, to get proper name bindings

wenzelm [Thu, 27 Oct 2011 22:37:19 +0200] rev 45283

tuned;

wenzelm [Thu, 27 Oct 2011 22:20:55 +0200] rev 45282

eliminated aliases of standard functions;

wenzelm [Thu, 27 Oct 2011 21:52:57 +0200] rev 45281

more standard attribute setup;

wenzelm [Thu, 27 Oct 2011 21:02:10 +0200] rev 45280

localized quotient data;

isabelle