Nominal/Ex/SingleLet.thy
changeset 3097 b27e94db1b8a
parent 2950 0911cb7bf696