Nominal/FSet.thy
Fri, 23 Apr 2010 09:54:42 +0200 Cezary Kaliszyk Further cleaning of proofs in FSet
less more (0) -30 -10 -1 tip