4717db0 f669410 8ecec6c
1
2
3
4
5
6
7
8
9
10
11
EXPORTS internal_and @1 internal_delete_formula @2 internal_formula_value @3 internal_implying @4 internal_new_formula @5 internal_not @6 internal_not_implying @7 internal_or @8 internal_this_holds_if_and_only_if @9
