New repository initialized by cvs2svn.

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1 cec4b9c1-7d33-0410-9eda-942365e851bb
Initial revision


git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2 cec4b9c1-7d33-0410-9eda-942365e851bb
Initial version


git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6 cec4b9c1-7d33-0410-9eda-942365e851bb
local basic env for (Has-)CASL with positions but without annotations


git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7 cec4b9c1-7d33-0410-9eda-942365e851bb
Initial versions


git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8 cec4b9c1-7d33-0410-9eda-942365e851bb
Sentence translation added; todo extended.


git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9 cec4b9c1-7d33-0410-9eda-942365e851bb
Error monad added.


git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10 cec4b9c1-7d33-0410-9eda-942365e851bb
Moved IDs to Id.hs


git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11 cec4b9c1-7d33-0410-9eda-942365e851bb
Some corrections


git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12 cec4b9c1-7d33-0410-9eda-942365e851bb
Abstract Syntax for basic specs and symb_maps.


git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13 cec4b9c1-7d33-0410-9eda-942365e851bb
Corections for import Id.hs


git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14 cec4b9c1-7d33-0410-9eda-942365e851bb
Adding of local_env finished.


git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15 cec4b9c1-7d33-0410-9eda-942365e851bb
imported Id


git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16 cec4b9c1-7d33-0410-9eda-942365e851bb
Errors moved to Error.hs


git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17 cec4b9c1-7d33-0410-9eda-942365e851bb
Added homogenization of lists (using dynamic types)


git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18 cec4b9c1-7d33-0410-9eda-942365e851bb
Composition of representations almost completed.


git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@19 cec4b9c1-7d33-0410-9eda-942365e851bb
Introduced an G_symb_map_items_list.


git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@20 cec4b9c1-7d33-0410-9eda-942365e851bb
corrected output


git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@21 cec4b9c1-7d33-0410-9eda-942365e851bb
splitted analysed abstract syntax of basic items


git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@22 cec4b9c1-7d33-0410-9eda-942365e851bb
moved to subdirectory HasCASL


git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@23 cec4b9c1-7d33-0410-9eda-942365e851bb