Attic/Prove.thy
changeset 2259 85291ef50354
parent 2171 9697bbf713ec