Nominal/Nominal2.thy
changeset 3089 9bcf02a6eea9
parent 3076 2b1b8404fe0d
child 3091 578e0265b235