package info (click to toggle)
coq 8.20.1%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: sid, trixie
  • size: 44,116 kB
  • sloc: ml: 234,160; sh: 4,301; python: 3,270; ansic: 2,644; makefile: 882; lisp: 172; javascript: 63; xml: 24; sed: 2

Folder: ssr

d .. (parent)
- - rw-r--r-- 3,492 absevarprop.v
- - rw-r--r-- 969 abstract_var2.v
- - rw-r--r-- 123 autoclean.v
- - rw-r--r-- 328 bang_rewrite.v
- - rw-r--r-- 1,887 binders.v
- - rw-r--r-- 978 binders_of.v
- - rw-r--r-- 795 bug_15753_1.v
- - rw-r--r-- 232 bug_15753_2.v
- - rw-r--r-- 348 bug_15770.v
- - rw-r--r-- 832 bug_16720.v
- - rw-r--r-- 7,168 bug_19229.v
- - rw-r--r-- 332 case_TC.v
- - rw-r--r-- 373 case_TC2.v
- - rw-r--r-- 407 case_TC3.v
- - rw-r--r-- 267 case_polyuniv.v
- - rw-r--r-- 122 caseeqltac.v
- - rw-r--r-- 858 caseview.v
- - rw-r--r-- 1,739 congr.v
- - rw-r--r-- 1,265 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,164 elim.v
- - rw-r--r-- 2,682 elim2.v
- - rw-r--r-- 696 elim_noquant.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,590 have_TC.v
- - rw-r--r-- 1,615 have_transp.v
- - rw-r--r-- 918 have_view_idiom.v
- - rw-r--r-- 2,405 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-- 175 ipat_apply.v
- - rw-r--r-- 535 ipat_clear_if_id.v
- - rw-r--r-- 522 ipat_dup.v
- - rw-r--r-- 432 ipat_fast_any.v
- - rw-r--r-- 891 ipat_fastid.v
- - rw-r--r-- 227 ipat_replace.v
- - rw-r--r-- 1,175 ipat_seed.v
- - rw-r--r-- 613 ipat_swap.v
- - rw-r--r-- 839 ipat_tac.v
- - rw-r--r-- 553 ipat_tmp.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-- 2,202 misc_extended.v
- - rw-r--r-- 1,073 misc_tc.v
- - rw-r--r-- 854 move_after.v
- - rw-r--r-- 1,987 multiview.v
- - rw-r--r-- 633 nonPropType.v
- - rw-r--r-- 195 noting_to_inject.v
- - rw-r--r-- 1,111 occarrow.v
- - rw-r--r-- 1,492 over.v
- - rw-r--r-- 889 patnoX.v
- - rw-r--r-- 1,190 pattern.v
- - rw-r--r-- 1,206 predRewrite.v
- - rw-r--r-- 3,311 primproj.v
- - rw-r--r-- 3,093 rew_polyuniv.v
- - rw-r--r-- 5,597 rewpatterns.v
- - rw-r--r-- 192 rewrite_illtyped.v
- - rw-r--r-- 1,009 rewrtite_err_msg.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-- 547 simpl_done.v
- - rw-r--r-- 100 ssr_sProp.v
- - rw-r--r-- 159 ssrpattern.v
- - rw-r--r-- 911 ssrsyntax2.v
- - rw-r--r-- 1,491 tc.v
- - rw-r--r-- 252 tcfwd.v
- - rw-r--r-- 233 try_case.v
- - rw-r--r-- 912 typeof.v
- - rw-r--r-- 11,744 under.v
- - rw-r--r-- 772 unfold_Opaque.v
- - rw-r--r-- 1,018 unfold_fold_polyuniv.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,813 wlogletin.v
- - rw-r--r-- 930 wlong_intro.v