src/Pure/Syntax/ast.ML
changeset 24850 0cfd722ab579
parent 21962 279b129498b6
child 29565 3f8b24fcfbd6