newlogic-pl2.het revision 56213359305d26c4011562b704ea5d69e1182de4
from Framework/specs/logics/propositional/syntax/base get Base
from Framework/specs/logics/propositional/syntax/prop get PL
from Framework/specs/logics/propositional/model_theory/prop get PLMOD, PLMODView
from Framework/specs/logics/propositional/proof_theory/prop get CPLPF
newlogic PL =
meta LF
syntax PL
models PLMODView
proofs CPLPF
end