| changeset 5239 | b4e3883d7b66 |
| parent 5229 | 6bf0e95981e3 |
| 5238:d9f9cfd09b0f | 5239:b4e3883d7b66 |
|---|---|
5 */ |
5 */ |
6 |
6 |
7 package isac.gui.mawen |
7 package isac.gui.mawen |
8 |
8 |
9 import isac.gui.mawen.syntax.Ast._ //"._" simplifies "Ast.Ast" to "Ast" |
9 import isac.gui.mawen.syntax.Ast._ //"._" simplifies "Ast.Ast" to "Ast" |
10 import info.hupel.isabelle.api.XML |
10 import edu.tum.cs.isabelle.api.XML |
11 |
11 |
12 /* |
12 /* |
13 * terms for tests |
13 * terms for tests |
14 */ |
14 */ |
15 object TestDATA { |
15 object TestDATA { |