src/Pure/pure_syn.ML
changeset 62337 d3996d5873dd
parent 61464 d35ff80f27fb
child 62453 b93cc7d73431