hets/MMT/newcomorphism-err.het

	newcomorphism-err.het revision 56213359305d26c4011562b704ea5d69e1182de4
from Framework/specs/logics/first-order/syntax/fol get Base2FOL
from Framework/specs/logics/first-order/model_theory/fol get FOLMODView
from Framework/specs/logics/first-order/proof_theory/fol get FOL2FOLPF

newcomorphism ERR =
  meta LF
  source FOL1
  target PL1
  syntax NS
  models NS
  proofs PS
end