src/Pure/Proof/proof_rewrite_rules.ML
changeset 25456 6f79698f294d
parent 23178 07ba6b58b3d2
child 26424 a6cad32a27b0
equal deleted inserted replaced
25455:ab519be677ba 25456:6f79698f294d