removed lots of hlint warnings git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18342 cec4b9c1-7d33-0410-9eda-942365e851bb
revert programatica test file git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13860 cec4b9c1-7d33-0410-9eda-942365e851bb
Changed haddock headers and inserted empty headers for the ones missing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13857 cec4b9c1-7d33-0410-9eda-942365e851bb
changed clashing axiom name git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3147 cec4b9c1-7d33-0410-9eda-942365e851bb
replaced ++ with : git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3141 cec4b9c1-7d33-0410-9eda-942365e851bb
Completed PCFOL2FOL Modularized CoCASL2ISabelleHOL (Partly) solved Qual_var problem in Overload git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2969 cec4b9c1-7d33-0410-9eda-942365e851bb
__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2946 cec4b9c1-7d33-0410-9eda-942365e851bb