isabelle: Changelog

wenzelm [Tue, 25 Sep 2007 15:34:35 +0200] rev 24711

simplified interpretation setup;

haftmann [Tue, 25 Sep 2007 13:42:59 +0200] rev 24710

size hook

wenzelm [Tue, 25 Sep 2007 13:28:42 +0200] rev 24709

removed redundant global_parse operations; renamed global_XXX to XXX_global;

wenzelm [Tue, 25 Sep 2007 13:28:41 +0200] rev 24708

Syntax.parse/check/read; no export of read/cert_axm;

wenzelm [Tue, 25 Sep 2007 13:28:37 +0200] rev 24707

Syntax.parse/check/read;

wenzelm [Tue, 25 Sep 2007 13:28:35 +0200] rev 24706

* Pure/Syntax: generic interfaces for parsing and type checking; tuned;

ballarin [Tue, 25 Sep 2007 12:59:24 +0200] rev 24705

Simplified proof due to improved integration of order_tac and simp.

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

isabelle