Attic/Prove.thy
changeset 2713 a84999edbcb3
parent 2171 9697bbf713ec