newlogic.het revision e8dd447a2aa5fbac10668749dfe4142c05ec3d7d
e8700894324940d187d0cc6c4c757781a5985b71Corneliu-Claudiu Prodescufrom Framework/specs/logics/propositional/syntax/base get Base
b87efd3db0d2dc41615ea28669faf80fc1b48d56Corneliu-Claudiu Prodescufrom Framework/specs/logics/propositional/syntax/prop get PL, Base2PL
b87efd3db0d2dc41615ea28669faf80fc1b48d56Corneliu-Claudiu Prodescufrom Framework/specs/logics/propositional/model_theory/prop get PLMOD, PLMODView
b87efd3db0d2dc41615ea28669faf80fc1b48d56Corneliu-Claudiu Prodescufrom Framework/specs/logics/propositional/proof_theory/prop get CPLPF, PL2CPLPF
b87efd3db0d2dc41615ea28669faf80fc1b48d56Corneliu-Claudiu Prodescu models PLMODView