Attic/Prove.thy
changeset 3058 a190b2b79cc8
parent 2171 9697bbf713ec