b3493441db63d952924177357fb77bf0f762d150 |
|
06-May-2013 |
Aivaras Jakubauskas <a.jakubauskas@jacobs-university.de> |
module exports addLogic2LogicList
addLogic2LogicList checks for an import of a propsed logic (to avoid duplicating addition of the same logic over and over again),
if it is found, prompts error message
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17950 cec4b9c1-7d33-0410-9eda-942365e851bb |