Cross Reference: prop.elf
xref: /hets/Framework/specs/logics/propositional/soundness/prop.elf
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder%read "../proof_theory/prop.elf".
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder%read "../model_theory/prop.elf".
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder%read "iprop.elf".
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder%view SoundCPL : CPLPF -> PLMOD = {
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include SoundBase.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include SoundIPL.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include SoundTND.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder}.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder

Indexes created Tue Jul 24 14:28:13 CEST 2018