1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
Chars 0 - 30 [Require~Import~Coq.Lists.List.] 0.114 secs (0.072u,0.044s)
Chars 31 - 64 [Require~Import~Coq.ZArith.ZArith.] 0.192 secs (0.156u,0.035s)
Chars 65 - 75 [Goal~_~True.] 0. secs (0.u,0.s)
Chars 78 - 90 [constructor.] 0. secs (0.u,0.s)
Chars 91 - 95 [Qed.] 0. secs (0.u,0.s)
Chars 96 - 106 [Goal~_~True.] 0. secs (0.u,0.s)
Chars 109 - 121 [constructor.] 0. secs (0.u,0.s)
Chars 122 - 126 [Qed.] 0. secs (0.u,0.s)
Chars 127 - 137 [Goal~_~True.] 0. secs (0.u,0.s)
Chars 140 - 152 [constructor.] 0. secs (0.u,0.004s)
Chars 153 - 157 [Qed.] 0. secs (0.u,0.s)
Chars 158 - 168 [Goal~_~True.] 0. secs (0.u,0.s)
Chars 171 - 183 [constructor.] 0. secs (0.u,0.s)
Chars 184 - 188 [Qed.] 0. secs (0.u,0.s)
Chars 189 - 199 [Goal~_~True.] 0. secs (0.u,0.s)
Chars 202 - 214 [constructor.] 0. secs (0.u,0.s)
Chars 215 - 219 [Qed.] 0. secs (0.u,0.s)
Chars 220 - 277 [Goal~_~List.repeat~Z.div_eucl~...] 0. secs (0.u,0.s)
Chars 280 - 304 [(vm_compute;~reflexivity).] 0.566 secs (0.528u,0.039s)
Chars 305 - 309 [Qed.] 0.411 secs (0.4u,0.008s)
|
