src/Pure/General/position.ML
changeset 75571 ac5e633ad9b3
parent 74262 839a6e284545
child 77769 17391f298cf5
equal deleted inserted replaced
75570:ad957ab06f72 75571:ac5e633ad9b3