isabelle: Changelog

ballarin [Tue, 25 Sep 2007 12:56:27 +0200] rev 24704

Transitivity reasoner gets additional argument of premises to improve integration with simplifier.

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

dropped

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};

isabelle