| a17349d0247036407c22e632ece0e8f2b736253c |
|
18-Jan-2012 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Intro to CL user guide, something on TPTP and THF
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16592 cec4b9c1-7d33-0410-9eda-942365e851bb |