Nominal/Ex/Ex3.thy
changeset 2397 c670a849af65
parent 2120 2786ff1df475
equal deleted inserted replaced
2396:f2f611daf480 2397:c670a849af65