src/Pure/drule.ML
changeset 58425 246985c6b20b
parent 56436 30ccec1e82fb
child 58950 d07464875dd4
equal deleted inserted replaced
58424:cbbba613b6ab 58425:246985c6b20b