Cross Reference: base.elf
xref
: /
hets
/
Framework
/
specs
/
logics
/
propositional
/
proof_theory
/
base.elf
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
c6506aa7090643badb5a6dca5df0ca6617558f5e
Christian Maeder
%read "..
/syntax/base.elf
".
c6506aa7090643badb5a6dca5df0ca6617558f5e
Christian Maeder
c6506aa7090643badb5a6dca5df0ca6617558f5e
Christian Maeder
%sig BasePF = {
c6506aa7090643badb5a6dca5df0ca6617558f5e
Christian Maeder
%include Base %open o ded.
c6506aa7090643badb5a6dca5df0ca6617558f5e
Christian Maeder
}.