History log of /hets/THF/Test/testfile.p
Revision Date Author Comments Expand
89033f975314284d642808fdfc2ae678ef272f54 12-Apr-2011 Alexis Tsogias <Alexis.Tsogias@dfki.de>

Several bugfixes and changes in As and ParseTHF. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14897 cec4b9c1-7d33-0410-9eda-942365e851bb
7ea4e81c5409e0ed5d9879e370ac3d7457b5a37e 31-Mar-2011 Alexis Tsogias <Alexis.Tsogias@dfki.de>

THF Parser, test and some fixes in As.hs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14832 cec4b9c1-7d33-0410-9eda-942365e851bb