Framework/test/newlogic-fol.het

	newlogic-fol.het revision faddf5a6227f557f6da3b1c4a13f9fe82b1ef053
from Framework/specs/logics/first-order/syntax/fol get FOL, Base2FOL
from Framework/specs/logics/first-order/model_theory/fol get FOLMODView
from Framework/specs/logics/first-order/proof_theory/fol get FOL2FOLPF

newlogic FOL =
  meta LF
  syntax FOL
  truth Base2FOL
  signatures P
  models FOLMODView
  proofs FOL2FOLPF
end