isabelle: Changelog

haftmann [Tue, 23 Feb 2010 10:11:15 +0100] rev 35317

dropped axclass; dropped Id

haftmann [Tue, 23 Feb 2010 10:11:15 +0100] rev 35316

dropped axclass; dropped Id; session theory Hoare.thy

haftmann [Tue, 23 Feb 2010 10:11:12 +0100] rev 35315

dropped axclass

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Feb 2010 14:11:46 +0100] rev 35314

export prs_rules and rsp_rules attributes

blanchet [Tue, 23 Feb 2010 12:14:46 +0100] rev 35313

merge

blanchet [Tue, 23 Feb 2010 12:14:29 +0100] rev 35312

improved precision of small sets in Nitpick

blanchet [Tue, 23 Feb 2010 11:05:32 +0100] rev 35311

improved Nitpick's support for quotient types

hoelzl [Tue, 23 Feb 2010 12:02:32 +0100] rev 35310

Forgot to check NSA in changeset e4a431b6d9b7 ; Removed import of Integration

blanchet [Tue, 23 Feb 2010 10:02:14 +0100] rev 35309

catch IO errors in Nitpick's "kodkodi" invocation + shorten execution time of "Manual_Nits" example

haftmann [Tue, 23 Feb 2010 08:08:23 +0100] rev 35308

mind the "s"

isabelle