base.elf revision 239352d9aec4bc3823511873533fa812cbe259c7
%read "../../propositional/syntax/base.elf".
%sig BaseFOL = {
%include Base %open o ded.
i : type.
}.