isabelle: Changelog

haftmann [Tue, 25 Sep 2007 12:16:14 +0200] rev 24702

ML monad support

haftmann [Tue, 25 Sep 2007 12:16:13 +0200] rev 24701

no cleverness for instance parameters

haftmann [Tue, 25 Sep 2007 12:16:12 +0200] rev 24700

added conversions for natural numbers

haftmann [Tue, 25 Sep 2007 12:16:08 +0200] rev 24699

datatype interpretators for size and datatype_realizer

nipkow [Tue, 25 Sep 2007 10:27:43 +0200] rev 24698

hide successor

nipkow [Mon, 24 Sep 2007 22:00:18 +0200] rev 24697

fixed haftmann bug

wenzelm [Mon, 24 Sep 2007 21:07:41 +0200] rev 24696

added @{theory_ref};

wenzelm [Mon, 24 Sep 2007 21:07:40 +0200] rev 24695

added @{type_name};

wenzelm [Mon, 24 Sep 2007 21:07:39 +0200] rev 24694

added polymorphic_types;

wenzelm [Mon, 24 Sep 2007 21:07:38 +0200] rev 24693

eliminated ProofContext.read_termTs;

isabelle