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