; modification of mode38c
; Chad E Brown
; May 14 2010
; split disjunctions, prefer enumerations for ~,=,proj,imit (to get to complement of singleton)
; allow default instantiation early
; motivated by LCL565^1 (modal axiom equivalent to reflexivity of reln)
SPLIT_GLOBAL_DISJUNCTIONS
true
EXISTS_DELAY
0
FORALL_DELAY
1
ENUM_SORT
0
ENUM_NEG
0
ENUM_EQ
1
IMITATE_DELAY
10
PROJECT_DELAY
2
DEFAULTELT_DELAY
0
DEFAULTELTINST_DELAY
0
CONFR_DIFF_DELAY
100
CONFR_SAME1_DELAY
100
CONFR_SAME2_DELAY
0
ENUM_START
0
ENUM_ARROW
100
ENUM_O
500
ENUM_IMP
100
ENUM_FALSE
100
ENUM_CHOICE
100
IMITATE_DEFNS
false
LEIBEQ_TO_PRIMEQ
true
POST_OR_R_DELAY
1
