Attic/Prove.thy
changeset 1115 f24e9d21a948
parent 948 25c4223635f4
child 1949 0b692f37a771
equal deleted inserted replaced
1114:67dff6c1a123 1115:f24e9d21a948