487751f7e5e10599ab03fdae848d2658fdadaded |
|
25-Jun-2011 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
forgot to add FromXmlUtils (functions have previously been declared in GTheory)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15311 cec4b9c1-7d33-0410-9eda-942365e851bb |