Changes in spec.het http://src.iws.cs.ovgu.de/source/rss/hets/LF/test/spec.het en Copyright 2005 Java propset svn:eol-style native git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14641 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/LF/test/spec.het - c6506aa7090643badb5a6dca5df0ca6617558f5e Christian Maeder <Christian.Maeder@dfki.de> Added spec translations and revealing for LF and object logics git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14547 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/LF/test/spec.het - 168d206b4e5fd436c98239a1b6629c651f54c8ee Kristina Sojakova <kristinas@cmu.edu> Implemented generated, cogenerated sigs, and sig intersections for LF and object logics git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14538 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/LF/test/spec.het - b3bacd257ffcdd346b70ab690f03b28ad5f33fdc Kristina Sojakova <kristinas@cmu.edu> Finished implementing views for object logics git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14526 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/LF/test/spec.het - abd5fc85dc7e19b1614890182436940e922963a4 Kristina Sojakova <kristinas@cmu.edu> Added views for object logics git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14524 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/LF/test/spec.het - d71bb9deea089887b4fd829c5b766e7e4de9f204 Kristina Sojakova <kristinas@cmu.edu> Implemented signature extensions for LF and its object logics git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14506 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/LF/test/spec.het - 5e35940c3516ccea02caa0450d2b075de0106fa5 Kristina Sojakova <kristinas@cmu.edu> Implemented signature unions for LF and user-defined logics git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14406 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/LF/test/spec.het - d2786879b4733fd4886a5b654f7c6de1d234f638 Kristina Sojakova <kristinas@cmu.edu> Added static analysis for LF Refactored LF/Twelf2DG.hs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13634 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/LF/test/spec.het - e8dd447a2aa5fbac10668749dfe4142c05ec3d7d Kristina Sojakova <kristinas@cmu.edu>