Framework/test/test.het

	test.het revision 27bdba808fa9637ef10b739233fde57c77245f5d
from Framework/specs/logics/propositional/syntax/base get Base
from Framework/specs/logics/propositional/syntax/prop get PL, Base2PL
from Framework/specs/logics/propositional/model_theory/prop get PLMOD, PLMODView
from Framework/specs/logics/propositional/proof_theory/prop get CPLPF, PL2CPLPF

newlogic Propositional =
  meta LF
  syntax PL
  truth MagmaCommut..mag
  signatures P
  models PLMODView
  proofs PL2CPLPF
end