isabelle: Changelog

wenzelm [Mon, 17 Oct 2005 23:10:13 +0200] rev 17876

change_claset/simpset;

wenzelm [Mon, 17 Oct 2005 23:10:10 +0200] rev 17875

change_claset/simpset; Simplifier.inherit_context instead of Simplifier.inherit_bounds;

berghofe [Mon, 17 Oct 2005 19:19:29 +0200] rev 17874

Improved proof of injectivity theorems to make it work on "ordinary" function types as well.

berghofe [Mon, 17 Oct 2005 18:34:51 +0200] rev 17873

Fixed bug in proof of support theorem (it failed on constructors with no arguments).

berghofe [Mon, 17 Oct 2005 17:42:24 +0200] rev 17872

Implemented proofs for support and freshness theorems.

urbanc [Mon, 17 Oct 2005 17:40:34 +0200] rev 17871

deleted leading space in the definition of fresh

berghofe [Mon, 17 Oct 2005 12:30:57 +0200] rev 17870

Initial revision.

wenzelm [Sat, 15 Oct 2005 00:14:30 +0200] rev 17869

tuned;

wenzelm [Sat, 15 Oct 2005 00:09:20 +0200] rev 17868

tuned comment;

wenzelm [Sat, 15 Oct 2005 00:09:07 +0200] rev 17867

added ML_type, ML_struct;

isabelle