History log of /hets/Framework/specs/logics/first-order/syntax/sfol.omdoc
Revision Date Author Comments Expand
bdc103981a28a51938de98a956d8a3767f6cf43d 17-Dec-2012 Aivaras Jakubauskas <a.jakubauskas@jacobs-university.de>

this file contains parse tree and a function that should call logic-specific parsing functions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17688 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 /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 base.elf derived.elf dfol.elf fol.elf modules.elf sfol.elf sfol.omdoc sorted_base.elf sorted_base.omdoc sorted_modules.elf 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