equal
deleted
inserted
replaced
9 |
9 |
10 import isac.gui.mawen.syntax.isabelle.XLibrary |
10 import isac.gui.mawen.syntax.isabelle.XLibrary |
11 import isac.gui.mawen.syntax.isabelle.XTerm |
11 import isac.gui.mawen.syntax.isabelle.XTerm |
12 import isac.gui.mawen.syntax.Ast._ //"._" simplifies "Ast.Ast" to "Ast" |
12 import isac.gui.mawen.syntax.Ast._ //"._" simplifies "Ast.Ast" to "Ast" |
13 |
13 |
14 import info.hupel.isabelle.pure._ |
14 import edu.tum.cs.isabelle.pure._ |
15 |
15 |
16 import scala.collection.immutable.TreeMap |
16 import scala.collection.immutable.TreeMap |
17 |
17 |
18 object XSyntax { |
18 object XSyntax { |
19 |
19 |