History log of /hets/CommonLogic/TestData/clifSyntacticSugarTest.clf
Revision Date Author Comments Expand
ff41d94839a36ce86291af5d83abe2bd39cce1d0 20-Aug-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

added even further syntactic sugar support to CLIF parser git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15988 cec4b9c1-7d33-0410-9eda-942365e851bb
dabf0263008e0b55440c4e3fa0b61261af8c28ce 19-Aug-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

added further syntactic sugar support to CLIF parser git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15987 cec4b9c1-7d33-0410-9eda-942365e851bb