isabelle: Changelog

wenzelm [Thu, 16 Oct 2008 22:44:27 +0200] rev 28618

added rules for sort_constraint, include in norm_hhf_eqs; tuned;

wenzelm [Thu, 16 Oct 2008 22:44:26 +0200] rev 28617

tuned;

wenzelm [Thu, 16 Oct 2008 22:44:25 +0200] rev 28616

avoid accidental dependency of automated proof on sort equiv;

wenzelm [Thu, 16 Oct 2008 22:44:24 +0200] rev 28615

explicit SORT_CONSTRAINT for proofs depending implicitly on certain sorts;

wenzelm [Thu, 16 Oct 2008 22:44:22 +0200] rev 28614

avoid CRITICAL with_path;

huffman [Thu, 16 Oct 2008 19:44:36 +0200] rev 28613

rewrite more proofs in Isar style

ballarin [Thu, 16 Oct 2008 17:52:54 +0200] rev 28612

Removed ex/Locales.thy.

ballarin [Thu, 16 Oct 2008 17:19:47 +0200] rev 28611

More occurrences of 'includes' gone.

ballarin [Thu, 16 Oct 2008 17:07:20 +0200] rev 28610

Removed outdated locales tutorial.

haftmann [Thu, 16 Oct 2008 08:51:05 +0200] rev 28609

correct rounding

isabelle