Nominal/nominal_library.ML
2010-11-15 Christian Urban proved that bn functions return a finite set
2010-11-15 Christian Urban fixed bug in fv function where a shallow binder binds lists of names
2010-11-14 Christian Urban merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.thy
less more (0) tip