propositional/soundness/prop.elf

	prop.elf revision c6506aa7090643badb5a6dca5df0ca6617558f5e
%read "../proof_theory/prop.elf".
%read "../model_theory/prop.elf".
%read "iprop.elf".

%view SoundCPL : CPLPF -> PLMOD = {
  %include SoundBase.
  %include SoundIPL.
  %include SoundTND.
}.