isabelle: Changelog

wenzelm [Sat, 13 May 2006 02:51:35 +0200] rev 19627

moved defs explanation to isar-ref;

wenzelm [Sat, 13 May 2006 02:51:33 +0200] rev 19626

added defs (unchecked)''; more explanations on well-formednes of defs;

wenzelm [Sat, 13 May 2006 02:51:30 +0200] rev 19625

* Pure: overloaded definitions are now actually checked for acyclic dependencies;

wenzelm [Fri, 12 May 2006 18:11:09 +0200] rev 19624

tuned;

nipkow [Fri, 12 May 2006 11:19:41 +0200] rev 19623

added lemma in_measure

haftmann [Fri, 12 May 2006 10:38:00 +0200] rev 19622

fixed silly bug in function serializer for ML

huffman [Fri, 12 May 2006 04:20:02 +0200] rev 19621

add new finite chain theorems

wenzelm [Fri, 12 May 2006 01:01:08 +0200] rev 19620

improved propagate_deps; removed structs_less, which is actually unsound in conjunction with interdependent overloaded consts;

isabelle