Framework/test/newlogic.het

	newlogic.het revision c1b542512e0b8efce35e71d7bc055ee91038f2ee


1
2
3
4
5
6
7
8
9
10
11
12
13
14
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 PL1 =
  meta LF
  syntax PL
  truth Base2PL
  signatures P
  models PLMODView
  proofs PL2CPLPF
end