equal
deleted
inserted
replaced
8 ******************************************************************/ |
8 ******************************************************************/ |
9 |
9 |
10 package isac.util; |
10 package isac.util; |
11 |
11 |
12 import isac.bridge.xml.DataTypes; // from libisabelle-full.jar |
12 import isac.bridge.xml.DataTypes; // from libisabelle-full.jar |
13 import info.hupel.isabelle.api.XML; // from libisabelle-full.jar |
13 import edu.tum.cs.isabelle.api.XML; // from libisabelle-full.jar |
14 |
14 |
15 import java.io.Serializable; |
15 import java.io.Serializable; |
16 import java.util.ArrayList; |
16 import java.util.ArrayList; |
17 import java.util.Iterator; |
17 import java.util.Iterator; |
18 |
18 |