Framework/test/newlogic.het

	newlogic.het revision c1b542512e0b8efce35e71d7bc055ee91038f2ee


1
2
3
4
5
6
7
8
9
10
11
12
13
14
6332N/Afrom Framework/specs/logics/propositional/syntax/base get Base
6332N/Afrom Framework/specs/logics/propositional/syntax/prop get PL, Base2PL
6332N/Afrom Framework/specs/logics/propositional/model_theory/prop get PLMOD, PLMODView
6332N/Afrom Framework/specs/logics/propositional/proof_theory/prop get CPLPF, PL2CPLPF
6332N/A
6332N/Anewlogic PL1 =
6332N/A  meta LF
6332N/A  syntax PL
6332N/A  truth Base2PL
6332N/A  signatures P
6332N/A  models PLMODView
6332N/A  proofs PL2CPLPF
6332N/Aend
6332N/A