c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder%read "../../propositional/soundness/iprop.elf".
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder%view SoundSIFOL : SIFOLPF -> SFOLMOD = {
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include SoundBaseSFOL.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include SFOLMODView.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include SoundIPL.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include SoundSForall.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include SoundSExists.