Nominal/Manual/LamEx2.thy
changeset 2366 46be4145b922
parent 2364 2bf351f09317
equal deleted inserted replaced
2365:467123396e5a 2366:46be4145b922