Quot/Nominal/Test.thy
changeset 1077 44461d5615eb
parent 1034 c1af17982f98
child 1087 bb7f4457091a
equal deleted inserted replaced
1076:9a3d2a4f8956 1077:44461d5615eb