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 info.hupel.isabelle.pure._ |
3 import edu.tum.cs.isabelle.pure._ |
4 import isac.gui.mawen.syntax.Ast |
4 import isac.gui.mawen.syntax.Ast |
5 |
5 |
6 object TestsDATA { |
6 object TestsDATA { |
7 |
7 |
8 //---------------------------- for <code>MockCalcTreeSIMPLIFY</code> |
8 //---------------------------- for <code>MockCalcTreeSIMPLIFY</code> |