src/Pure/General/antiquote.scala
changeset 69805 a8debe27c36c
parent 67132 336831647779
child 75393 87ebf5a50283
equal deleted inserted replaced
69804:9efccbad7d42 69805:a8debe27c36c