package info (click to toggle)
coq-doc 8.2pl1-1
  • links: PTS, VCS
  • area: non-free
  • in suites: squeeze
  • size: 19,240 kB
  • ctags: 22,737
  • sloc: ml: 132,933; ansic: 1,960; sh: 1,366; lisp: 456; makefile: 327

Folder: theories

d .. (parent)
d d rwxr-xr-x 4,096 Arith
d d rwxr-xr-x 4,096 Bool
d d rwxr-xr-x 4,096 Classes
d d rwxr-xr-x 4,096 FSets
d d rwxr-xr-x 4,096 Init
d d rwxr-xr-x 4,096 Lists
d d rwxr-xr-x 4,096 Logic
d d rwxr-xr-x 136 NArith
d d rwxr-xr-x 4,096 Numbers
d d rwxr-xr-x 145 Program
d d rwxr-xr-x 4,096 QArith
d d rwxr-xr-x 4,096 Reals
d d rwxr-xr-x 4,096 Relations
d d rwxr-xr-x 37 Setoids
d d rwxr-xr-x 4,096 Sets
d d rwxr-xr-x 137 Sorting
d d rwxr-xr-x 47 Strings
d d rwxr-xr-x 19 Unicode
d d rwxr-xr-x 4,096 Wellfounded
d d rwxr-xr-x 4,096 ZArith