src/HOL/ex/Nominal2_Dummy.thy
2014-05-22 wenzelm 2014-05-22 include Nominal2 keywords -- Proof General legacy;