Attic/Prove.thy
changeset 2427 77f448727bf9
parent 2171 9697bbf713ec