Attic/Prove.thy
changeset 2449 6b51117b8955
parent 2171 9697bbf713ec