History log of /hets/LF/test/spec.het
Revision Date Author Comments Expand
c6506aa7090643badb5a6dca5df0ca6617558f5e 25-Feb-2011 Christian Maeder <Christian.Maeder@dfki.de>

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

/hets/DFOL/Tests/Categories.het /hets/DFOL/Tests/Matrices.het /hets/Framework/specs/logics/first-order/model_theory/base-zf.elf /hets/Framework/specs/logics/first-order/model_theory/base.elf /hets/Framework/specs/logics/first-order/model_theory/fol-zf.elf /hets/Framework/specs/logics/first-order/model_theory/fol.elf /hets/Framework/specs/logics/first-order/model_theory/folmod.elf /hets/Framework/specs/logics/first-order/model_theory/modules-zf.elf /hets/Framework/specs/logics/first-order/model_theory/modules.elf /hets/Framework/specs/logics/first-order/model_theory/sfol-zf.elf /hets/Framework/specs/logics/first-order/model_theory/sfol.elf /hets/Framework/specs/logics/first-order/model_theory/universe-zf.elf /hets/Framework/specs/logics/first-order/model_theory/universe.elf /hets/Framework/specs/logics/first-order/proof_theory/base.elf /hets/Framework/specs/logics/first-order/proof_theory/derived.elf /hets/Framework/specs/logics/first-order/proof_theory/dfol.elf /hets/Framework/specs/logics/first-order/proof_theory/fol.elf /hets/Framework/specs/logics/first-order/proof_theory/ifol.elf /hets/Framework/specs/logics/first-order/proof_theory/modules.elf /hets/Framework/specs/logics/first-order/proof_theory/sfol.elf /hets/Framework/specs/logics/first-order/proof_theory/sifol.elf /hets/Framework/specs/logics/first-order/proof_theory/sorted_base.elf /hets/Framework/specs/logics/first-order/proof_theory/sorted_modules.elf /hets/Framework/specs/logics/first-order/soundness/base.elf /hets/Framework/specs/logics/first-order/soundness/fol.elf /hets/Framework/specs/logics/first-order/soundness/ifol.elf /hets/Framework/specs/logics/first-order/soundness/modules.elf /hets/Framework/specs/logics/first-order/soundness/sfol.elf /hets/Framework/specs/logics/first-order/soundness/sifol.elf /hets/Framework/specs/logics/first-order/soundness/sorted_base.elf /hets/Framework/specs/logics/first-order/soundness/sorted_modules.elf /hets/Framework/specs/logics/first-order/syntax/base.elf /hets/Framework/specs/logics/first-order/syntax/derived.elf /hets/Framework/specs/logics/first-order/syntax/dfol.elf /hets/Framework/specs/logics/first-order/syntax/fol.elf /hets/Framework/specs/logics/first-order/syntax/modules.elf /hets/Framework/specs/logics/first-order/syntax/sfol.elf /hets/Framework/specs/logics/first-order/syntax/sorted_base.elf /hets/Framework/specs/logics/first-order/syntax/sorted_modules.elf /hets/Framework/specs/logics/meta/sttifol-zf.elf /hets/Framework/specs/logics/meta/sttifol.elf /hets/Framework/specs/logics/modal/model_theory.elf /hets/Framework/specs/logics/modal/proof_theory.elf /hets/Framework/specs/logics/modal/syntax.elf /hets/Framework/specs/logics/propositional/model_theory/base-zf.elf /hets/Framework/specs/logics/propositional/model_theory/base.elf /hets/Framework/specs/logics/propositional/model_theory/bool-zf.elf /hets/Framework/specs/logics/propositional/model_theory/bool.elf /hets/Framework/specs/logics/propositional/model_theory/modules-zf.elf /hets/Framework/specs/logics/propositional/model_theory/modules.elf /hets/Framework/specs/logics/propositional/model_theory/prop-zf.elf /hets/Framework/specs/logics/propositional/model_theory/prop.elf /hets/Framework/specs/logics/propositional/model_theory/propmod.elf /hets/Framework/specs/logics/propositional/proof_theory/base.elf /hets/Framework/specs/logics/propositional/proof_theory/derived.elf /hets/Framework/specs/logics/propositional/proof_theory/iprop.elf /hets/Framework/specs/logics/propositional/proof_theory/minimal-prop.elf /hets/Framework/specs/logics/propositional/proof_theory/modules.elf /hets/Framework/specs/logics/propositional/proof_theory/prop.elf /hets/Framework/specs/logics/propositional/proof_theory/tableaux.elf /hets/Framework/specs/logics/propositional/soundness/base.elf /hets/Framework/specs/logics/propositional/soundness/iprop.elf /hets/Framework/specs/logics/propositional/soundness/modules.elf /hets/Framework/specs/logics/propositional/soundness/prop.elf /hets/Framework/specs/logics/propositional/syntax/base.elf /hets/Framework/specs/logics/propositional/syntax/derived.elf /hets/Framework/specs/logics/propositional/syntax/minimal-prop.elf /hets/Framework/specs/logics/propositional/syntax/minimal.elf /hets/Framework/specs/logics/propositional/syntax/modules.elf /hets/Framework/specs/logics/propositional/syntax/prop.elf /hets/Framework/specs/math/algebra/algebra1.elf /hets/Framework/specs/math/algebra/algebra2.elf /hets/Framework/specs/math/relations/lattice.elf /hets/Framework/specs/math/relations/lattice_algebra.elf /hets/Framework/specs/math/relations/lattice_equiv.elf /hets/Framework/specs/math/relations/lattice_order.elf /hets/Framework/specs/math/relations/order.elf /hets/Framework/specs/math/relations/relation.elf /hets/Framework/specs/type_theories/base.elf /hets/Framework/specs/type_theories/lambda-cube.elf /hets/Framework/specs/type_theories/mltt.elf /hets/Framework/specs/type_theories/modules-lambda.elf /hets/Framework/specs/type_theories/modules-other.elf /hets/Framework/specs/type_theories/stt.elf spec.het
168d206b4e5fd436c98239a1b6629c651f54c8ee 16-Feb-2011 Kristina Sojakova <kristinas@cmu.edu>

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
b3bacd257ffcdd346b70ab690f03b28ad5f33fdc 15-Feb-2011 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
abd5fc85dc7e19b1614890182436940e922963a4 14-Feb-2011 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
d71bb9deea089887b4fd829c5b766e7e4de9f204 13-Feb-2011 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
5e35940c3516ccea02caa0450d2b075de0106fa5 09-Feb-2011 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
d2786879b4733fd4886a5b654f7c6de1d234f638 21-Jan-2011 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
e8dd447a2aa5fbac10668749dfe4142c05ec3d7d 27-Jun-2010 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