c95de7451b35950f21196b610dab702730221a98 |
|
31-Aug-2011 |
Alexis Tsogias <Alexis.Tsogias@dfki.de> |
HasCASL.Sublogic: the partiality of buildin functions will be ignored.\n Comorphisms.HasCASL2THF0: only axioms and constants for actually used buildin HasCASL functions will be added to the translated signatures.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16066 cec4b9c1-7d33-0410-9eda-942365e851bb |