History log of /hets/Framework/specs/logics/first-order/proof_theory/fol.elf
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 base.elf derived.elf dfol.elf fol.elf ifol.elf modules.elf sfol.elf sifol.elf sorted_base.elf 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 /hets/LF/test/spec.het
faddf5a6227f557f6da3b1c4a13f9fe82b1ef053 07-Sep-2010 Kristina Sojakova <kristinas@cmu.edu>

Added test specs for FOL as an object logic in Hets git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14010 cec4b9c1-7d33-0410-9eda-942365e851bb
239352d9aec4bc3823511873533fa812cbe259c7 16-Jun-2010 Kristina Sojakova <kristinas@cmu.edu>

Added test files Fixed problem with Base signature for LF having a specific filename git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13596 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/Framework/LogicFram.hs /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 base.elf derived.elf dfol.elf fol.elf ifol.elf modules.elf sfol.elf sifol.elf sifol.omdoc sorted_base.elf sorted_base.omdoc sorted_modules.elf sorted_modules.omdoc /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/sfol.omdoc /hets/Framework/specs/logics/first-order/syntax/sorted_base.elf /hets/Framework/specs/logics/first-order/syntax/sorted_base.omdoc /hets/Framework/specs/logics/first-order/syntax/sorted_modules.elf /hets/Framework/specs/logics/first-order/syntax/sorted_modules.omdoc /hets/Framework/specs/logics/meta/sttifol-zf.elf /hets/Framework/specs/logics/meta/sttifol.elf /hets/Framework/specs/logics/meta/sttifol.omdoc /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/base.omdoc /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/bool.omdoc /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/modules.omdoc /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/prop.omdoc /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/base.omdoc /hets/Framework/specs/logics/propositional/proof_theory/derived.elf /hets/Framework/specs/logics/propositional/proof_theory/derived.omdoc /hets/Framework/specs/logics/propositional/proof_theory/iprop.elf /hets/Framework/specs/logics/propositional/proof_theory/iprop.omdoc /hets/Framework/specs/logics/propositional/proof_theory/minimal-prop.elf /hets/Framework/specs/logics/propositional/proof_theory/minimal.elf /hets/Framework/specs/logics/propositional/proof_theory/modules.elf /hets/Framework/specs/logics/propositional/proof_theory/modules.omdoc /hets/Framework/specs/logics/propositional/proof_theory/prop.elf /hets/Framework/specs/logics/propositional/proof_theory/prop.omdoc /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/base.omdoc /hets/Framework/specs/logics/propositional/syntax/derived.elf /hets/Framework/specs/logics/propositional/syntax/derived.omdoc /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/modules.omdoc /hets/Framework/specs/logics/propositional/syntax/prop.elf /hets/Framework/specs/logics/propositional/syntax/prop.omdoc /hets/Framework/specs/math/algebra/algebra1.elf /hets/Framework/specs/math/algebra/algebra1.omdoc /hets/Framework/specs/math/algebra/algebra2.elf /hets/Framework/specs/math/algebra/algebra2.omdoc /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/base.omdoc /hets/Framework/specs/type_theories/lambda-cube.elf /hets/Framework/specs/type_theories/mltt.elf /hets/Framework/specs/type_theories/mltt.omdoc /hets/Framework/specs/type_theories/modules-lambda.elf /hets/Framework/specs/type_theories/modules-lambda.omdoc /hets/Framework/specs/type_theories/modules-other.elf /hets/Framework/specs/type_theories/modules-other.omdoc /hets/Framework/specs/type_theories/stt.elf /hets/Framework/test/test.het