isabelle: Changelog

berghofe [Tue, 28 Feb 2012 11:45:40 +0100] rev 46726

merged

berghofe [Tue, 28 Feb 2012 11:10:09 +0100] rev 46725

Added infrastructure for mapping SPARK field / constructor names to Isabelle types

berghofe [Mon, 27 Feb 2012 10:32:39 +0100] rev 46724

Use long prefix rather than short package name to disambiguate constant names introduced by verification environment

wenzelm [Mon, 27 Feb 2012 23:35:11 +0100] rev 46723

more explicit development graph;

wenzelm [Mon, 27 Feb 2012 23:30:38 +0100] rev 46722

removed dead code (cf. a34d89ce6097);

wenzelm [Mon, 27 Feb 2012 21:07:00 +0100] rev 46721

tuned proofs;

wenzelm [Mon, 27 Feb 2012 20:55:30 +0100] rev 46720

tuned proofs;

wenzelm [Mon, 27 Feb 2012 20:42:09 +0100] rev 46719

removed introiff (cf. b09afce1e54f);

wenzelm [Mon, 27 Feb 2012 20:33:18 +0100] rev 46718

tuned;

wenzelm [Mon, 27 Feb 2012 20:23:57 +0100] rev 46717

removed broken/unused introiff (cf. d452117ba564);

isabelle