isabelle: Changelog

paulson [Thu, 18 Oct 2007 17:34:27 +0200] rev 25086

Improving the propagation of type constraints for Frees

paulson [Thu, 18 Oct 2007 17:33:57 +0200] rev 25085

Ensured that the right number of ATP calls is generated

haftmann [Thu, 18 Oct 2007 16:09:39 +0200] rev 25084

CRITICAL evaluation

haftmann [Thu, 18 Oct 2007 16:09:38 +0200] rev 25083

improved class syntax

haftmann [Thu, 18 Oct 2007 16:09:36 +0200] rev 25082

tuned

wenzelm [Thu, 18 Oct 2007 14:30:55 +0200] rev 25081

DeclareRobustCommand \isactrlbsub/esub etc.;

haftmann [Thu, 18 Oct 2007 09:21:00 +0200] rev 25080

evaluation is CRITICAL

haftmann [Thu, 18 Oct 2007 09:20:59 +0200] rev 25079

moved fork_mixfix to theory_target

haftmann [Thu, 18 Oct 2007 09:20:58 +0200] rev 25078

moved lemmas to OrderedGroup.thy

haftmann [Thu, 18 Oct 2007 09:20:57 +0200] rev 25077

continued localization

isabelle