Attic/UnusedQuotMain.thy
changeset 1140 aaeb5a34d21a
parent 948 25c4223635f4
child 2871 b58073719b06
equal deleted inserted replaced
1139:c4001cda9da3 1140:aaeb5a34d21a