Attic/Prove.thy
changeset 2387 082d9fd28f89
parent 2171 9697bbf713ec