src/Pure/Isar/parse.scala
changeset 43283 446e6621762d
parent 36956 21be4832c362
child 44181 bbce0417236d
equal deleted inserted replaced
43282:5d294220ca43 43283:446e6621762d
     1 /*  Title:      Pure/Isar/outer_parse.scala
     1 /*  Title:      Pure/Isar/parse.scala
     2     Author:     Makarius
     2     Author:     Makarius
     3 
     3 
     4 Generic parsers for Isabelle/Isar outer syntax.
     4 Generic parsers for Isabelle/Isar outer syntax.
     5 */
     5 */
     6 
     6