isabelle: Changelog

haftmann [Fri, 19 Oct 2007 19:45:31 +0200] rev 25103

tuned

haftmann [Fri, 19 Oct 2007 19:45:29 +0200] rev 25102

antisymmetry not a default intro rule any longer

haftmann [Fri, 19 Oct 2007 16:20:27 +0200] rev 25101

now employing dictionaries

haftmann [Fri, 19 Oct 2007 16:18:00 +0200] rev 25100

added examples

haftmann [Fri, 19 Oct 2007 16:17:59 +0200] rev 25099

lemmas with normalization

wenzelm [Fri, 19 Oct 2007 16:13:55 +0200] rev 25098

tuned CRITICAL markups;

wenzelm [Fri, 19 Oct 2007 16:13:53 +0200] rev 25097

do not export standard_infer_types;

haftmann [Fri, 19 Oct 2007 15:08:33 +0200] rev 25096

clarified abbreviations in class context

ballarin [Fri, 19 Oct 2007 12:22:12 +0200] rev 25095

Interpretation equations may have name and/or attribute; improved printing of types in interpretations.

ballarin [Fri, 19 Oct 2007 12:21:32 +0200] rev 25094

Interpretation equations may have name and/or attribute.

isabelle