Attic/Prove.thy
changeset 3086 3750c08f627e
parent 2171 9697bbf713ec