Attic/Prove.thy
changeset 2320 d835a2771608
parent 2171 9697bbf713ec