src/HOL/Nominal/Examples/Weakening.thy
Wed, 11 Jan 2006 14:00:11 +0100 urbanc tuned the eqvt-proof
Mon, 05 Dec 2005 17:02:20 +0100 urbanc tuned
Mon, 05 Dec 2005 10:33:30 +0100 urbanc tuned
Sun, 04 Dec 2005 12:14:40 +0100 urbanc tuned
Thu, 01 Dec 2005 04:46:17 +0100 urbanc changed "fresh:" to "avoiding:" and cleaned up the weakening example
Wed, 30 Nov 2005 14:27:09 +0100 urbanc adapted to the new nominal_induction
Mon, 28 Nov 2005 05:03:00 +0100 urbanc some small tuning
Mon, 07 Nov 2005 15:12:13 +0100 urbanc Initial commit of the theory "Weakening".
less more (0) tip