Quot/Nominal/Nominal2_Base.thy
changeset 1067 8d4d52f51e0d
parent 1062 dfea9e739231
child 1087 bb7f4457091a
equal deleted inserted replaced
1066:96651cddeba9 1067:8d4d52f51e0d