src/HOL/Nominal/Examples/Support.thy
Wed, 25 Jun 2008 18:23:50 +0200 urbanc typo
Wed, 07 May 2008 10:57:19 +0200 berghofe Adapted to encoding of sets as predicates
Wed, 12 Mar 2008 11:57:12 +0100 urbanc tuned
less more (0) -3 tip