Cross Reference:
xref: /ast/src/cmd/pax/data/delta-5.pax
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
test.het revision 239352d9aec4bc3823511873533fa812cbe259c7
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannfrom Framework/specs/logics/propositional/syntax/base get Base
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannfrom Framework/specs/logics/propositional/syntax/prop get PL, Base2PL
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannfrom Framework/specs/logics/propositional/model_theory/prop get PLMOD, PLMODView
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannfrom Framework/specs/logics/propositional/proof_theory/prop get CPLPF, PL2CPLPF
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannnewlogic Propositional =
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann meta LF
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann syntax PL
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann truth Base2PL
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann signatures P
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann models PLMODView
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann proofs PL2CPLPF
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannend
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

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