src/Pure/term.ML
changeset 35650 64fff18d7f08
parent 35227 d67857e3a8c0
child 35986 b7fcca3d9a44