Attic/Prove.thy
changeset 2410 2bbdb9c427b5
parent 2171 9697bbf713ec