Attic/UnusedQuotBase.thy
changeset 1445 3246c5e1a9d7
parent 1123 41f89d4f9548
equal deleted inserted replaced
1444:aca9a6380c3f 1445:3246c5e1a9d7