Quot/Nominal/LamEx.thy
changeset 1249 ea6a52a4f5bf
parent 1139 c4001cda9da3