Attic/UnusedQuotMain.thy
changeset 1350 5b31e49678fc
parent 948 25c4223635f4
child 2871 b58073719b06
equal deleted inserted replaced
1332:103eb390f1b1 1350:5b31e49678fc