isabelle: Changelog

nipkow [Wed, 04 Jan 2012 13:58:06 +0100] rev 46116

generalised type

blanchet [Wed, 04 Jan 2012 12:09:53 +0100] rev 46115

improved "set" support by code inspection

blanchet [Wed, 04 Jan 2012 12:09:53 +0100] rev 46114

remove subtlety whose justification got lost in time -- the new code is possibly less precise but sounder

blanchet [Wed, 04 Jan 2012 12:09:53 +0100] rev 46113

tuning

blanchet [Wed, 04 Jan 2012 12:09:53 +0100] rev 46112

handle higher-order occurrences of sets gracefully in model display

wenzelm [Wed, 04 Jan 2012 11:01:08 +0100] rev 46111

prefer explicit version information;

blanchet [Wed, 04 Jan 2012 10:47:07 +0100] rev 46110

more Nitpick doc updates

blanchet [Wed, 04 Jan 2012 00:32:02 +0100] rev 46109

reenable Kodkodi in Mira now that Nitpick has been ported to 'a set constructor

blanchet [Wed, 04 Jan 2012 00:30:53 +0100] rev 46108

reenable Kodkodi in Isatest now that Nitpick has been ported to 'a set constructor

blanchet [Tue, 03 Jan 2012 23:41:59 +0100] rev 46107

fixed bisimilarity axiom -- avoid "insert" with wrong type

isabelle