changeset 5239 | b4e3883d7b66 |
parent 5229 | 6bf0e95981e3 |
5238:d9f9cfd09b0f | 5239:b4e3883d7b66 |
---|---|
1 package isac.gui.mawen.scalaterm |
1 package isac.gui.mawen.scalaterm |
2 |
2 |
3 import isac.gui.mawen.syntax.Ast |
3 import isac.gui.mawen.syntax.Ast |
4 import info.hupel.isabelle.pure._ |
4 import edu.tum.cs.isabelle.pure._ |
5 import junit.framework.TestCase |
5 import junit.framework.TestCase |
6 import java.lang.String |
6 import java.lang.String |
7 import org.junit.Assert._ |
7 import org.junit.Assert._ |
8 |
8 |
9 class TestUtil extends TestCase { |
9 class TestUtil extends TestCase { |