src/Pure/term.ML
changeset 47959 dba9409a3a5b
parent 46219 426ed18eba43
child 48263 94a7dc2276e4
equal deleted inserted replaced
47958:c5f7be4a1734 47959:dba9409a3a5b