Mercurial Mercurial > wneuper > isa / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/Pure/Isar/parse.scala
changeset 44163 446e6621762d
parent 36966 21be4832c362
child 45054 bbce0417236d
equal deleted inserted replaced
44162:5d294220ca43 44163: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
wneuper/isa