* only keep needed type instances
* small polymorphic example
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17655 cec4b9c1-7d33-0410-9eda-942365e851bb
* moved thfTopLevelTypeToType to THF.Utils
* moved helpers for short types to THF.ShortTypes
* added type checking
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17656 cec4b9c1-7d33-0410-9eda-942365e851bb
fixed a small bug
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17657 cec4b9c1-7d33-0410-9eda-942365e851bb
* added another small example
* fixed type checking
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17658 cec4b9c1-7d33-0410-9eda-942365e851bb
fixed type error in example
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17659 cec4b9c1-7d33-0410-9eda-942365e851bb
refactored
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17660 cec4b9c1-7d33-0410-9eda-942365e851bb
improved mapSublogic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17661 cec4b9c1-7d33-0410-9eda-942365e851bb
adding MMT dir
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17662 cec4b9c1-7d33-0410-9eda-942365e851bb
switch off ship syntax while changing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17663 cec4b9c1-7d33-0410-9eda-942365e851bb
added products to comorphism from HasCASL to THF
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17664 cec4b9c1-7d33-0410-9eda-942365e851bb
set hets -g to C-c C-c
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17665 cec4b9c1-7d33-0410-9eda-942365e851bb
fixed #1087
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17666 cec4b9c1-7d33-0410-9eda-942365e851bb
changing templates: fixed errors, removed redundancies, added more instances in Logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17667 cec4b9c1-7d33-0410-9eda-942365e851bb
adding a simple Propositional logic with patterns trial: generated by MMT from an LF file
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17668 cec4b9c1-7d33-0410-9eda-942365e851bb
corrected most right computation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17669 cec4b9c1-7d33-0410-9eda-942365e851bb
removed unused component
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17670 cec4b9c1-7d33-0410-9eda-942365e851bb
changed error messages
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17671 cec4b9c1-7d33-0410-9eda-942365e851bb
changed error messages
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17672 cec4b9c1-7d33-0410-9eda-942365e851bb
changed error messages
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17673 cec4b9c1-7d33-0410-9eda-942365e851bb
resurrected SHIP syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17674 cec4b9c1-7d33-0410-9eda-942365e851bb