Nominal/Manual/LamEx2.thy
changeset 2723 281ef8686654
parent 2364 2bf351f09317
equal deleted inserted replaced
2722:ba34f893539a 2723:281ef8686654