src/HOL/Nominal/Examples/SN.thy
Sun, 04 Dec 2005 12:40:39 +0100 urbanc tuned
Sun, 04 Dec 2005 12:14:27 +0100 urbanc added an Isar-proof for the abs_ALL lemma
Thu, 01 Dec 2005 06:28:41 +0100 urbanc initial cleanup to use the new induction method
Mon, 28 Nov 2005 05:03:00 +0100 urbanc some small tuning
Sun, 27 Nov 2005 04:59:20 +0100 urbanc cleaned up all examples so that they work with the
Mon, 07 Nov 2005 15:19:03 +0100 urbanc Initial commit.
less more (0) tip