src/Pure/assumption.ML
changeset 25456 6f79698f294d
parent 22846 fb79144af9a3
child 26392 748b263f0e40
equal deleted inserted replaced
25455:ab519be677ba 25456:6f79698f294d