Nominal/Manual/LamEx2.thy
changeset 2851 f8eb6cd9f560
parent 2364 2bf351f09317
equal deleted inserted replaced
2849:31c338d562fd 2851:f8eb6cd9f560