package info (click to toggle)
coq 8.9.0-1
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 30,604 kB
  • sloc: ml: 192,230; sh: 2,585; python: 2,206; ansic: 1,878; makefile: 818; lisp: 202; xml: 24; sed: 2

Folder: ssr

d .. (parent)
- - rw-r--r-- 3,440 absevarprop.v
- - rw-r--r-- 969 abstract_var2.v
- - rw-r--r-- 1,887 binders.v
- - rw-r--r-- 978 binders_of.v
- - rw-r--r-- 858 caseview.v
- - rw-r--r-- 1,490 congr.v
- - rw-r--r-- 1,263 deferclear.v
- - rw-r--r-- 128 delayed_clear_rename.v
- - rw-r--r-- 1,060 dependent_type_err.v
- - rw-r--r-- 1,140 derive_inversion.v
- - rw-r--r-- 10,179 elim.v
- - rw-r--r-- 2,682 elim2.v
- - rw-r--r-- 1,276 elim_pattern.v
- - rw-r--r-- 978 first_n.v
- - rw-r--r-- 5,386 gen_have.v
- - rw-r--r-- 1,455 gen_pattern.v
- - rw-r--r-- 1,480 have_TC.v
- - rw-r--r-- 1,535 have_transp.v
- - rw-r--r-- 918 have_view_idiom.v
- - rw-r--r-- 2,404 havesuff.v
- - rw-r--r-- 1,004 if_isnt.v
- - rw-r--r-- 1,006 intro_beta.v
- - rw-r--r-- 1,434 intro_noop.v
- - rw-r--r-- 416 ipat_clear_if_id.v
- - rw-r--r-- 939 ipatalternation.v
- - rw-r--r-- 1,372 ltac_have.v
- - rw-r--r-- 1,119 ltac_in.v
- - rw-r--r-- 854 move_after.v
- - rw-r--r-- 1,987 multiview.v
- - rw-r--r-- 1,111 occarrow.v
- - rw-r--r-- 889 patnoX.v
- - rw-r--r-- 1,190 pattern.v
- - rw-r--r-- 3,309 primproj.v
- - rw-r--r-- 3,093 rew_polyuniv.v
- - rw-r--r-- 5,596 rewpatterns.v
- - rw-r--r-- 192 rewrite_illtyped.v
- - rw-r--r-- 1,131 set_lamda.v
- - rw-r--r-- 3,242 set_pattern.v
- - rw-r--r-- 215 set_polyuniv.v
- - rw-r--r-- 159 ssrpattern.v
- - rw-r--r-- 905 ssrsyntax2.v
- - rw-r--r-- 1,471 tc.v
- - rw-r--r-- 912 typeof.v
- - rw-r--r-- 772 unfold_Opaque.v
- - rw-r--r-- 1,281 unkeyed.v
- - rw-r--r-- 1,143 view_case.v
- - rw-r--r-- 1,059 wlog_suff.v
- - rw-r--r-- 1,811 wlogletin.v
- - rw-r--r-- 930 wlong_intro.v