History log of /hets/CommonLogic/TestData/implied.clf
Revision Date Author Comments Expand
6e37a8341c202773dc9db886547b7018ee834d3b 03-May-2013 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

corrected examples git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17939 cec4b9c1-7d33-0410-9eda-942365e851bb
9fc726ee81f01ddb1a25cfc6eac7f2f88ef28e58 16-Dec-2010 Christian Maeder <Christian.Maeder@dfki.de>

adjusted file properties git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14324 cec4b9c1-7d33-0410-9eda-942365e851bb
ea9009727600ed1500ddf3adca7794017422c33e 29-Jul-2010 Karl Luc <kluc@tzi.de>

added Prover for CommonLogic git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13778 cec4b9c1-7d33-0410-9eda-942365e851bb