b5bb29b09bbb00b75612ca99edc13119bf2c8a05 |
|
26-Feb-2013 |
Aivaras Jakubauskas <a.jakubauskas@jacobs-university.de> |
re-compiled logic after updates in MMT parser and logic template updates
attempted adding default function implementations in Logic_PLpatt
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17763 cec4b9c1-7d33-0410-9eda-942365e851bb |