File: MANIFEST

package info (click to toggle)
ssreflect 1.5-2
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 932 kB
  • ctags: 96
  • sloc: ml: 334; sh: 92; makefile: 67; lisp: 37
file content (25 lines) | stat: -rw-r--r-- 390 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
 
ANNOUNCE
AUTHORS
CeCILL-B
extra/builddoc_lib.sh
extra/coqdoc.css
extra/dependtodot.ml
extra/jc.png
INSTALL
Make
Makefile
pg-ssr.el
README
src/ssreflect.ml4
src/ssrmatching.ml4
src/ssrmatching.mli
theories/choice.v
theories/eqtype.v
theories/fintype.v
theories/seq.v
theories/ssrbool.v
theories/ssreflect.mllib
theories/ssreflect.v
theories/ssrfun.v
theories/ssrmatching.v
theories/ssrnat.v