package info (click to toggle)
aac-tactics 0.2.pl2-7
  • links: PTS, VCS
  • area: main
  • in suites: wheezy
  • size: 404 kB
  • sloc: ml: 2,952; makefile: 193; sh: 27

Folder: 0.2.pl2-7

show hidden (1)
d .. (parent)
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 4,096 debian
- - rw-r--r-- 9 .gitignore
- - rw-r--r-- 37,410 AAC.v
- - rw-r--r-- 17,696 AAC_coq.ml
- - rw-r--r-- 8,282 AAC_coq.mli
- - rw-r--r-- 1,138 AAC_helper.ml
- - rw-r--r-- 1,261 AAC_helper.mli
- - rw-r--r-- 35,854 AAC_matcher.ml
- - rw-r--r-- 7,369 AAC_matcher.mli
- - rw-r--r-- 3,680 AAC_print.ml
- - rw-r--r-- 1,106 AAC_print.mli
- - rw-r--r-- 16,661 AAC_rewrite.ml
- - rw-r--r-- 619 AAC_rewrite.mli
- - rw-r--r-- 2,036 AAC_search_monad.ml
- - rw-r--r-- 1,452 AAC_search_monad.mli
- - rw-r--r-- 34,721 AAC_theory.ml
- - rw-r--r-- 7,837 AAC_theory.mli
- - rw-r--r-- 1,018 CHANGELOG
- - rw-r--r-- 35,147 COPYING
- - rw-r--r-- 7,637 COPYING.LESSER
- - rw-r--r-- 11,951 Caveats.v
- - rw-r--r-- 11,040 Instances.v
- - rw-r--r-- 651 LICENSE
- - rw-r--r-- 8,332 Makefile
- - rw-r--r-- 2,273 README.txt
- - rw-r--r-- 11,890 Tutorial.v
- - rw-r--r-- 141 files.txt
- - rw-r--r-- 518 magic.txt
- - rwxr-xr-x 2,313 make_makefile