blob: d9c48a282fbdce32ca5d0cbdb89f800a05ce57e5 (
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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
|
checker.cmo: ../lib/util.cmi univ.cmi type_errors.cmi \
/usr/lib/ocaml/camlp4/token.cmi ../kernel/term.cmi ../lib/system.cmi \
/usr/lib/ocaml/camlp4/stdpp.cmi safe_typing.cmi ../lib/pp.cmi \
../kernel/names.cmi indtypes.cmi ../lib/flags.cmi declarations.cmi \
../config/coq_config.cmi check_stat.cmi check.cmo
checker.cmx: ../lib/util.cmx univ.cmx type_errors.cmx \
/usr/lib/ocaml/camlp4/token.cmi ../kernel/term.cmx ../lib/system.cmx \
/usr/lib/ocaml/camlp4/stdpp.cmi safe_typing.cmx ../lib/pp.cmi \
../kernel/names.cmx indtypes.cmx ../lib/flags.cmx declarations.cmx \
../config/coq_config.cmx check_stat.cmx check.cmx
check.cmo: ../lib/util.cmi ../lib/system.cmi safe_typing.cmi ../lib/pp.cmi \
../kernel/names.cmi ../lib/flags.cmi
check.cmx: ../lib/util.cmx ../lib/system.cmx safe_typing.cmx ../lib/pp.cmi \
../kernel/names.cmx ../lib/flags.cmx
check_stat.cmo: ../lib/util.cmi ../kernel/term.cmi ../lib/system.cmi \
safe_typing.cmi ../lib/pp.cmi ../kernel/names.cmi ../kernel/environ.cmi \
declarations.cmi check_stat.cmi
check_stat.cmx: ../lib/util.cmx ../kernel/term.cmx ../lib/system.cmx \
safe_typing.cmx ../lib/pp.cmi ../kernel/names.cmx ../kernel/environ.cmx \
declarations.cmx check_stat.cmi
closure.cmo: ../lib/util.cmi ../kernel/term.cmi ../lib/pp.cmi \
../kernel/names.cmi esubst.cmi ../kernel/environ.cmi closure.cmi
closure.cmx: ../lib/util.cmx ../kernel/term.cmx ../lib/pp.cmi \
../kernel/names.cmx esubst.cmx ../kernel/environ.cmx closure.cmi
closure.cmi: ../kernel/term.cmi ../lib/pp.cmi ../kernel/names.cmi esubst.cmi \
../kernel/environ.cmi
declarations.cmo: ../lib/util.cmi univ.cmi ../kernel/term.cmi \
../lib/rtree.cmi ../lib/option.cmi ../kernel/names.cmi declarations.cmi
declarations.cmx: ../lib/util.cmx univ.cmx ../kernel/term.cmx \
../lib/rtree.cmx ../lib/option.cmx ../kernel/names.cmx declarations.cmi
declarations.cmi: ../lib/util.cmi univ.cmi ../kernel/term.cmi \
../lib/rtree.cmi ../kernel/names.cmi
environ.cmo: ../lib/util.cmi univ.cmi ../kernel/term.cmi ../kernel/names.cmi \
declarations.cmi
environ.cmx: ../lib/util.cmx univ.cmx ../kernel/term.cmx ../kernel/names.cmx \
declarations.cmx
esubst.cmo: ../lib/util.cmi esubst.cmi
esubst.cmx: ../lib/util.cmx esubst.cmi
esubst.cmi: ../lib/util.cmi
indtypes.cmo: ../lib/util.cmi univ.cmi typeops.cmi ../kernel/term.cmi \
../lib/rtree.cmi reduction.cmi ../lib/pp.cmi ../kernel/names.cmi \
inductive.cmi ../lib/flags.cmi ../kernel/environ.cmi declarations.cmi \
indtypes.cmi
indtypes.cmx: ../lib/util.cmx univ.cmx typeops.cmx ../kernel/term.cmx \
../lib/rtree.cmx reduction.cmx ../lib/pp.cmi ../kernel/names.cmx \
inductive.cmx ../lib/flags.cmx ../kernel/environ.cmx declarations.cmx \
indtypes.cmi
indtypes.cmi: univ.cmi typeops.cmi ../kernel/term.cmi ../kernel/names.cmi \
../kernel/environ.cmi declarations.cmi
inductive.cmo: ../lib/util.cmi univ.cmi type_errors.cmi ../kernel/term.cmi \
../lib/rtree.cmi reduction.cmi ../kernel/names.cmi ../kernel/environ.cmi \
declarations.cmi inductive.cmi
inductive.cmx: ../lib/util.cmx univ.cmx type_errors.cmx ../kernel/term.cmx \
../lib/rtree.cmx reduction.cmx ../kernel/names.cmx ../kernel/environ.cmx \
declarations.cmx inductive.cmi
inductive.cmi: univ.cmi ../kernel/term.cmi ../kernel/names.cmi \
../kernel/environ.cmi declarations.cmi
main.cmo: checker.cmo
main.cmx: checker.cmx
mod_checking.cmo: ../lib/util.cmi univ.cmi typeops.cmi ../kernel/term.cmi \
subtyping.cmi reduction.cmi ../lib/pp.cmi ../kernel/names.cmi modops.cmi \
inductive.cmi indtypes.cmi ../lib/flags.cmi ../kernel/environ.cmi \
declarations.cmi
mod_checking.cmx: ../lib/util.cmx univ.cmx typeops.cmx ../kernel/term.cmx \
subtyping.cmx reduction.cmx ../lib/pp.cmi ../kernel/names.cmx modops.cmx \
inductive.cmx indtypes.cmx ../lib/flags.cmx ../kernel/environ.cmx \
declarations.cmx
modops.cmo: ../lib/util.cmi univ.cmi ../kernel/term.cmi ../lib/pp.cmi \
../lib/option.cmi ../kernel/names.cmi ../kernel/environ.cmi \
declarations.cmi modops.cmi
modops.cmx: ../lib/util.cmx univ.cmx ../kernel/term.cmx ../lib/pp.cmi \
../lib/option.cmx ../kernel/names.cmx ../kernel/environ.cmx \
declarations.cmx modops.cmi
modops.cmi: ../lib/util.cmi univ.cmi ../kernel/term.cmi ../kernel/names.cmi \
../kernel/environ.cmi declarations.cmi
reduction.cmo: ../lib/util.cmi univ.cmi ../kernel/term.cmi \
../kernel/names.cmi esubst.cmi ../kernel/environ.cmi closure.cmi \
reduction.cmi
reduction.cmx: ../lib/util.cmx univ.cmx ../kernel/term.cmx \
../kernel/names.cmx esubst.cmx ../kernel/environ.cmx closure.cmx \
reduction.cmi
reduction.cmi: ../kernel/term.cmi ../kernel/environ.cmi
safe_typing.cmo: validate.cmo ../lib/util.cmi ../lib/pp.cmi ../lib/option.cmi \
../kernel/names.cmi modops.cmi mod_checking.cmo ../kernel/environ.cmi \
declarations.cmi safe_typing.cmi
safe_typing.cmx: validate.cmx ../lib/util.cmx ../lib/pp.cmi ../lib/option.cmx \
../kernel/names.cmx modops.cmx mod_checking.cmx ../kernel/environ.cmx \
declarations.cmx safe_typing.cmi
safe_typing.cmi: ../kernel/term.cmi ../kernel/names.cmi ../kernel/environ.cmi \
declarations.cmi
subtyping.cmo: ../lib/util.cmi univ.cmi typeops.cmi ../kernel/term.cmi \
reduction.cmi ../lib/pp.cmi ../kernel/names.cmi modops.cmi inductive.cmi \
../kernel/environ.cmi declarations.cmi subtyping.cmi
subtyping.cmx: ../lib/util.cmx univ.cmx typeops.cmx ../kernel/term.cmx \
reduction.cmx ../lib/pp.cmi ../kernel/names.cmx modops.cmx inductive.cmx \
../kernel/environ.cmx declarations.cmx subtyping.cmi
subtyping.cmi: univ.cmi ../kernel/term.cmi ../kernel/environ.cmi \
declarations.cmi
term.cmo: ../lib/util.cmi univ.cmi ../lib/pp.cmi ../lib/option.cmi \
../kernel/names.cmi esubst.cmi
term.cmx: ../lib/util.cmx univ.cmx ../lib/pp.cmi ../lib/option.cmx \
../kernel/names.cmx esubst.cmx
type_errors.cmo: ../kernel/term.cmi ../kernel/names.cmi ../kernel/environ.cmi \
type_errors.cmi
type_errors.cmx: ../kernel/term.cmx ../kernel/names.cmx ../kernel/environ.cmx \
type_errors.cmi
type_errors.cmi: ../kernel/term.cmi ../kernel/names.cmi ../kernel/environ.cmi
typeops.cmo: ../lib/util.cmi univ.cmi type_errors.cmi ../kernel/term.cmi \
reduction.cmi ../kernel/names.cmi inductive.cmi ../kernel/environ.cmi \
declarations.cmi typeops.cmi
typeops.cmx: ../lib/util.cmx univ.cmx type_errors.cmx ../kernel/term.cmx \
reduction.cmx ../kernel/names.cmx inductive.cmx ../kernel/environ.cmx \
declarations.cmx typeops.cmi
typeops.cmi: ../kernel/term.cmi ../kernel/names.cmi ../kernel/environ.cmi \
declarations.cmi
univ.cmo: ../lib/util.cmi ../lib/pp.cmi ../lib/option.cmi ../kernel/names.cmi \
univ.cmi
univ.cmx: ../lib/util.cmx ../lib/pp.cmi ../lib/option.cmx ../kernel/names.cmx \
univ.cmi
univ.cmi: ../lib/pp.cmi ../kernel/names.cmi
|