package info (click to toggle)
aac-tactics 8.6.1-1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 396 kB
  • sloc: ml: 2,604; makefile: 34

Folder: 8.6.1-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 4,096 debian
- - rw-r--r-- 37,651 AAC.v
- - rw-r--r-- 1,018 CHANGELOG
- - rw-r--r-- 35,147 COPYING
- - rw-r--r-- 7,637 COPYING.LESSER
- - rw-r--r-- 11,897 Caveats.v
- - rw-r--r-- 11,084 Instances.v
- - rw-r--r-- 651 LICENSE
- - rw-r--r-- 238 Make
- - rw-r--r-- 253 Makefile
- - rw-r--r-- 1,619 README
- - rw-r--r-- 11,896 Tutorial.v
- - rw-r--r-- 57 aac.mlpack
- - rw-r--r-- 16,988 aac_rewrite.ml4
- - rw-r--r-- 619 aac_rewrite.mli
- - rwxr-xr-x 18,643 coq.ml
- - rw-r--r-- 8,322 coq.mli
- - rw-r--r-- 636 description
- - rw-r--r-- 1,160 helper.ml
- - rw-r--r-- 1,261 helper.mli
- - rw-r--r-- 35,851 matcher.ml
- - rw-r--r-- 7,353 matcher.mli
- - rw-r--r-- 3,634 print.ml
- - rw-r--r-- 1,068 print.mli
- - rw-r--r-- 2,036 search_monad.ml
- - rw-r--r-- 1,452 search_monad.mli
- - rw-r--r-- 35,589 theory.ml
- - rw-r--r-- 7,742 theory.mli