package info (click to toggle)
coq-doc 8.3pl4-1
  • links: PTS, VCS
  • area: non-free
  • in suites: wheezy
  • size: 20,504 kB
  • sloc: ml: 134,418; lisp: 2,734; ansic: 1,968; sh: 1,204; makefile: 611

Folder: output

d .. (parent)
- - rw-r--r-- 1,083 ArgumentsScope.out
- - rw-r--r-- 535 ArgumentsScope.v
- - rw-r--r-- 916 Cases.out
- - rw-r--r-- 839 Cases.v
- - rw-r--r-- 108 Coercions.out
- - rw-r--r-- 651 Coercions.v
- - rw-r--r-- 48 Existentials.out
- - rw-r--r-- 225 Existentials.v
- - rw-r--r-- 1,058 Extraction_matchs_2413.out
- - rw-r--r-- 2,732 Extraction_matchs_2413.v
- - rw-r--r-- 612 Fixpoint.out
- - rw-r--r-- 898 Fixpoint.v
- - rw-r--r-- 344 Implicit.out
- - rw-r--r-- 947 Implicit.v
- - rw-r--r-- 382 InitSyntax.out
- - rw-r--r-- 111 InitSyntax.v
- - rw-r--r-- 91 Intuition.out
- - rw-r--r-- 121 Intuition.v
- - rw-r--r-- 25 Match_subterm.out
- - rw-r--r-- 86 Match_subterm.v
- - rw-r--r-- 1,114 Nametab.out
- - rw-r--r-- 917 Nametab.v
- - rw-r--r-- 1,789 Naming.out
- - rw-r--r-- 1,957 Naming.v
- - rw-r--r-- 3,316 Notations.out
- - rw-r--r-- 7,455 Notations.v
- - rw-r--r-- 618 Notations2.out
- - rw-r--r-- 2,101 Notations2.v
- - rw-r--r-- 965 NumbersSyntax.out
- - rw-r--r-- 1,351 NumbersSyntax.v
- - rw-r--r-- 552 PrintAssumptions.out
- - rw-r--r-- 2,422 PrintAssumptions.v
- - rw-r--r-- 972 Quote.out
- - rw-r--r-- 911 Quote.v
- - rw-r--r-- 31 RealSyntax.out
- - rw-r--r-- 49 RealSyntax.v
- - rw-r--r-- 607 Search.out
- - rw-r--r-- 143 Search.v
- - rw-r--r-- 697 SearchPattern.out
- - rw-r--r-- 408 SearchPattern.v
- - rw-r--r-- 72 SearchRewrite.out
- - rw-r--r-- 118 SearchRewrite.v
- - rw-r--r-- 99 Sum.out
- - rw-r--r-- 93 Sum.v
- - rw-r--r-- 132 Tactics.out
- - rw-r--r-- 488 Tactics.v
- - rw-r--r-- 89 TranspModtype.out
- - rw-r--r-- 385 TranspModtype.v
- - rw-r--r-- 571 ZSyntax.out
- - rw-r--r-- 558 ZSyntax.v
- - rw-r--r-- 44 reduction.out
- - rw-r--r-- 278 reduction.v
- - rw-r--r-- 315 set.out
- - rw-r--r-- 154 set.v
- - rw-r--r-- 201 simpl.out
- - rw-r--r-- 148 simpl.v