blob: de8dcdc5b14b347c0c651de358fbe72118ea7107 (
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
27
28
29
30
31
32
33
34
35
36
37
38
39
|
(coq.theory
(name Coq)
(package coq)
(synopsis "Coq's Standard Library")
(flags -q)
; (mode native)
(boot)
; (per_file
; (Init/*.v -> -boot))
(libraries
coq.plugins.ltac
coq.plugins.tauto
coq.plugins.cc
coq.plugins.firstorder
coq.plugins.numeral_notation
coq.plugins.string_notation
coq.plugins.int63_syntax
coq.plugins.r_syntax
coq.plugins.float_syntax
coq.plugins.btauto
coq.plugins.rtauto
coq.plugins.setoid_ring
coq.plugins.nsatz
coq.plugins.omega
coq.plugins.zify
coq.plugins.micromega
coq.plugins.funind
coq.plugins.ssreflect
coq.plugins.ssrsearch
coq.plugins.derive))
(include_subdirs qualified)
|
