isabelle: Changelog

haftmann [Mon, 29 Jun 2009 16:17:57 +0200] rev 31869

mutual instances

haftmann [Mon, 29 Jun 2009 16:17:56 +0200] rev 31868

canonical prefix for datatype derivates

haftmann [Mon, 29 Jun 2009 16:17:55 +0200] rev 31867

tuned

immler@in.tum.de [Tue, 30 Jun 2009 11:21:02 +0200] rev 31866

check for correct proof output

immler@in.tum.de [Tue, 30 Jun 2009 11:21:02 +0200] rev 31865

fixed: count constants with supplementary lemmas

hoelzl [Tue, 30 Jun 2009 10:59:02 +0200] rev 31864

removed latex markup - there is no document generated from Decision_Procs/ex

hoelzl [Mon, 29 Jun 2009 23:29:11 +0200] rev 31863

Implemented taylor series expansion for approximation

wenzelm [Tue, 30 Jun 2009 21:19:32 +0200] rev 31862

renamed Swing to Swing_Thread, to avoid overlap with scala.swing.Swing;

wenzelm [Tue, 30 Jun 2009 00:57:24 +0200] rev 31861

merged

wenzelm [Tue, 30 Jun 2009 00:50:42 +0200] rev 31860

more display;

isabelle