first-order/soundness/sifol.elf

	sifol.elf revision c6506aa7090643badb5a6dca5df0ca6617558f5e
%read "../../propositional/soundness/iprop.elf".
%read "../proof_theory/sifol.elf".
%read "../model_theory/sfol.elf".
%read "sorted_modules.elf".

%view SoundSIFOL : SIFOLPF -> SFOLMOD = {
  %include SoundBaseSFOL.
  %include SFOLMODView.
  %include SoundIPL.
  %include SoundSForall.
  %include SoundSExists.
}.