Mercurial Mercurial > wneuper > isac / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
isac-java/src/java/isac/gui/mawen/syntax/syntax_phases.scala
changeset 5239 b4e3883d7b66
parent 5229 6bf0e95981e3
equal deleted inserted replaced
5238:d9f9cfd09b0f 5239:b4e3883d7b66 
     9 */
 
     9 */
 
    10 package isac.gui.mawen.syntax
 
    10 package isac.gui.mawen.syntax
 
    11 
    11 
    12 import isac.gui.mawen.syntax.isabelle.XLibrary
 
    12 import isac.gui.mawen.syntax.isabelle.XLibrary
 
    13 import isac.gui.mawen.syntax.isabelle.XTerm
 
    13 import isac.gui.mawen.syntax.isabelle.XTerm
 
    14 import info.hupel.isabelle.pure._
 
    14 import edu.tum.cs.isabelle.pure._
 
    15 
    15 
    16 object Syntax_Phases {
 
    16 object Syntax_Phases {
 
    17   
    17   
    18   /* translation from Isabelle2016-1 ~~/src/Pure/Syntax/syntax_phases.ML
 
    18   /* translation from Isabelle2016-1 ~~/src/Pure/Syntax/syntax_phases.ML
 
    19      CODE OMITTED IN THE TRANSLATION IS INDICATED BY (**) IN ORIGINAL ML:
 
    19      CODE OMITTED IN THE TRANSLATION IS INDICATED BY (**) IN ORIGINAL ML:
wneuper/isac