; modification of mode135 with enumerations changed and a few other changes
; Targetting Injective Cantor Theorem
; Chad E Brown, Dec 21, 2010
PATTERN_CLAUSES_FORALL_AS_LIT
false
SPLIT_GLOBAL_DISJUNCTIONS
true
ENABLE_PATTERN_CLAUSES
true
PATTERN_CLAUSES_DELAY
1
EXISTS_DELAY
10
FORALL_DELAY
7
DEFAULTELT_DELAY
30
DEFAULTELTINST_DELAY
30
CONFR_DIFF_DELAY
0
CONFR_SAME1_DELAY
0
CONFR_SAME2_DELAY
0
ENUM_START
0
ENUM_ARROW
1
ENUM_O
2
ENUM_FORALL
1
ENUM_SORT
2
ENUM_NEG
1
ENUM_IMP
1
ENUM_FALSE
200
ENUM_CHOICE
100
ENUM_EQ
1
IMITATE_DELAY
5
PROJECT_DELAY
7
CHOICE_AS_DEFAULT
false
