Attic/Prove.thy
changeset 2958 d0f83a35950e
parent 2171 9697bbf713ec