isabelle: Changelog

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.

krauss [Fri, 19 Oct 2007 10:44:45 +0200] rev 25093

updated

krauss [Fri, 19 Oct 2007 10:05:21 +0200] rev 25092

removed funny formatting

krauss [Fri, 19 Oct 2007 09:59:46 +0200] rev 25091

Updated function tutorial: Types can be inferred and need not be given anymore

haftmann [Fri, 19 Oct 2007 07:48:25 +0200] rev 25090

98% localized

haftmann [Fri, 19 Oct 2007 07:48:23 +0200] rev 25089

dropped doubled proof

krauss [Thu, 18 Oct 2007 17:44:30 +0200] rev 25088

Simultaneous type inference using read_specification

paulson [Thu, 18 Oct 2007 17:38:45 +0200] rev 25087

some more metis calls

isabelle