History log of /hets/Framework/specs/logics/propositional/syntax/prop.elf
Revision Date Author Comments Expand
2cb6df4f21c52732336579a79f7e5d28299b3500 16-Aug-2011 Iulia Ignatov <i.ignatov@jacobs-university.de>

morphism parser added git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15973 cec4b9c1-7d33-0410-9eda-942365e851bb
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 base.elf derived.elf minimal-prop.elf minimal.elf modules.elf 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
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 /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/sifol.omdoc /hets/Framework/specs/logics/first-order/proof_theory/sorted_base.elf /hets/Framework/specs/logics/first-order/proof_theory/sorted_base.omdoc /hets/Framework/specs/logics/first-order/proof_theory/sorted_modules.elf /hets/Framework/specs/logics/first-order/proof_theory/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 base.elf base.omdoc derived.elf derived.omdoc minimal-prop.elf minimal.elf modules.elf modules.omdoc prop.elf 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