equal
deleted
inserted
replaced
4 * Created on Aug 28, 2015 |
4 * Created on Aug 28, 2015 |
5 * Institute for Softwaretechnology, Graz University of Technology, Austria. |
5 * Institute for Softwaretechnology, Graz University of Technology, Austria. |
6 */ |
6 */ |
7 package isac.bridge.xml |
7 package isac.bridge.xml |
8 |
8 |
9 import info.hupel.isabelle.api.XML |
9 import edu.tum.cs.isabelle.api.XML |
10 import info.hupel.isabelle.pure._ // DEFINES type Term |
10 import edu.tum.cs.isabelle.pure._ // DEFINES type Term |
11 |
11 |
12 /* |
12 /* |
13 * Compile test data for TestDataTypes.java. |
13 * Compile test data for TestDataTypes.java. |
14 * |
14 * |
15 * This setup has been chosen after <Run As> <Scala JUnit Test> could not |
15 * This setup has been chosen after <Run As> <Scala JUnit Test> could not |