newlogic-fol.het revision bdc103981a28a51938de98a956d8a3767f6cf43d
6033N/Afrom ../specs/logics/first-order/syntax/fol get Base2FOL
6033N/Afrom ../specs/logics/first-order/model_theory/fol get FOLMODView
6033N/Afrom ../specs/logics/first-order/proof_theory/fol get FOL2FOLPF
6033N/A
6033N/Anewlogic FOL =
6033N/A meta LF
6033N/A syntax Base2FOL
6033N/A models FOLMODView
6033N/A proofs FOL2FOLPF
6033N/Aend
6033N/A