propositional/soundness/iprop.elf

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

%view SoundIPL : IPLPF -> PLMOD = {
  %include SoundBase.
  %include PLMODView.
  %include SoundTruth.
  %include SoundFalsity.
  %include SoundNEG.
  %include SoundIMP.
  %include SoundCONJ.
  %include SoundDISJ.
}.