isabelle: Changelog

wenzelm [Wed, 16 Sep 2009 21:14:08 +0200] rev 32590

replaced opaque signature matching by plain old abstype (again, cf. ac4498f95d1c) -- this recovers pretty printing in SML/NJ and Poly/ML 5.3;

haftmann [Wed, 16 Sep 2009 13:43:15 +0200] rev 32589

merged

haftmann [Wed, 16 Sep 2009 13:43:07 +0200] rev 32588

Inter and Union are mere abbreviations for Inf and Sup; tuned

haftmann [Wed, 16 Sep 2009 13:43:05 +0200] rev 32587

Inter and Union are mere abbreviations for Inf and Sup

nipkow [Wed, 16 Sep 2009 13:03:03 +0200] rev 32586

merged

nipkow [Wed, 16 Sep 2009 12:47:14 +0200] rev 32585

revised lemma counting

haftmann [Wed, 16 Sep 2009 09:04:41 +0200] rev 32584

merged

haftmann [Tue, 15 Sep 2009 19:16:47 +0200] rev 32583

merged

haftmann [Tue, 15 Sep 2009 19:16:35 +0200] rev 32582

hide new constants

haftmann [Tue, 15 Sep 2009 15:41:30 +0200] rev 32581

merged

isabelle