package info (click to toggle)
coq 8.0pl2-2
  • links: PTS
  • area: main
  • in suites: sarge
  • size: 14,228 kB
  • ctags: 17,685
  • sloc: ml: 97,070; makefile: 1,255; sh: 738; lisp: 456; awk: 15

Folder: failure

d .. (parent)
- - rw-r--r-- 41 Case1.v
- - rw-r--r-- 57 Case10.v
- - rw-r--r-- 59 Case11.v
- - rw-r--r-- 202 Case12.v
- - rw-r--r-- 205 Case13.v
- - rw-r--r-- 220 Case14.v
- - rw-r--r-- 130 Case15.v
- - rw-r--r-- 172 Case16.v
- - rw-r--r-- 301 Case2.v
- - rw-r--r-- 224 Case3.v
- - rw-r--r-- 139 Case4.v
- - rw-r--r-- 88 Case5.v
- - rw-r--r-- 200 Case6.v
- - rw-r--r-- 581 Case7.v
- - rw-r--r-- 236 Case8.v
- - rw-r--r-- 244 Case9.v
- - rw-r--r-- 226 ClearBody.v
- - rw-r--r-- 890 Tauto.v
- - rw-r--r-- 130 cases.v
- - rw-r--r-- 41 check.v
- - rw-r--r-- 658 clash_cons.v
- - rw-r--r-- 192 clashes.v
- - rw-r--r-- 155 coqbugs0266.v
- - rw-r--r-- 619 fixpoint1.v
- - rw-r--r-- 538 illtype1.v
- - rw-r--r-- 159 ltac1.v
- - rw-r--r-- 238 ltac2.v
- - rw-r--r-- 60 ltac3.v
- - rw-r--r-- 135 ltac4.v
- - rw-r--r-- 90 params_ind.v
- - rw-r--r-- 564 positivity.v
- - rw-r--r-- 573 redef.v
- - rw-r--r-- 567 search.v
- - rw-r--r-- 6,018 universes-buraliforti.v
- - rw-r--r-- 200 universes-sections1.v
- - rw-r--r-- 220 universes-sections2.v
- - rw-r--r-- 103 universes.v
- - rw-r--r-- 126 universes2.v