equal
deleted
inserted
replaced
3 * Created on Oct 31, 2003 |
3 * Created on Oct 31, 2003 |
4 */ |
4 */ |
5 package isac.util.formulae; |
5 package isac.util.formulae; |
6 import isac.bridge.xml.DataTypes; //.scala |
6 import isac.bridge.xml.DataTypes; //.scala |
7 |
7 |
8 import info.hupel.isabelle.api.XML; //.scala |
8 import edu.tum.cs.isabelle.api.XML; //.scala |
9 |
9 |
10 import java.io.Serializable; |
10 import java.io.Serializable; |
11 |
11 |
12 /** |
12 /** |
13 * @author Richard Gradischnegg |
13 * @author Richard Gradischnegg |