; Feb 3 2011
; Mode that can prove every injective function i>i has a left inverse. (Uses choice)
ENUM_START
1
ENUM_NEG
100
ENUM_FALSE
100
ENUM_EQ
2
ENUM_CHOICE
2
IMITATE_DELAY
5
PROJECT_DELAY
3
FORALL_DELAY
1
EXISTS_DELAY
15
POST_CONFRONT2_DELAY
200
POST_CONFRONT4_DELAY
200
NEW_HEAD_ENUM_DELAY
200
INSTANTIATE_WITH_FUNC_DISEQN_SIDES
false
