blob: dee134ae4d4f86f3a88c544656f26aee0b5ba39e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
id = "SETS"
name = "Sets Theory"
[[option]]
name = "setsProxyLemmas"
category = "regular"
long = "sets-proxy-lemmas"
type = "bool"
default = "false"
help = "introduce proxy variables eagerly to shorten lemmas"
[[option]]
name = "setsInferAsLemmas"
category = "regular"
long = "sets-infer-as-lemmas"
type = "bool"
default = "true"
help = "send inferences as lemmas"
[[option]]
name = "setsExt"
category = "regular"
long = "sets-ext"
type = "bool"
default = "false"
help = "enable extended symbols such as complement and universe in theory of sets"
|