applied utils/replaceAllHeaders.sh - all $Header$ tokens in doc comments replaced with corresponding filename
allow local let variables in FPL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14648 cec4b9c1-7d33-0410-9eda-942365e851bb
added support for boolean FPL terms as formulas git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14637 cec4b9c1-7d33-0410-9eda-942365e851bb
tried to extended to Bool terms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14601 cec4b9c1-7d33-0410-9eda-942365e851bb
added morphism mapping to FPL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14590 cec4b9c1-7d33-0410-9eda-942365e851bb