package info (click to toggle)
aac-tactics 8.8.0+1.gbp069dc3b-1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 384 kB
  • sloc: ml: 2,941; makefile: 39

Folder: src

d .. (parent)
- - rw-r--r-- 2,698 aac.ml4
- - rw-r--r-- 61 aac_plugin.mlpack
- - rw-r--r-- 14,476 aac_rewrite.ml
- - rw-r--r-- 1,040 aac_rewrite.mli
- - rw-r--r-- 17,909 coq.ml
- - rw-r--r-- 8,669 coq.mli
- - rw-r--r-- 1,181 helper.ml
- - rw-r--r-- 1,295 helper.mli
- - rw-r--r-- 35,858 matcher.ml
- - rw-r--r-- 7,353 matcher.mli
- - rw-r--r-- 3,705 print.ml
- - rw-r--r-- 1,074 print.mli
- - rw-r--r-- 2,036 search_monad.ml
- - rw-r--r-- 1,452 search_monad.mli
- - rw-r--r-- 37,269 theory.ml
- - rw-r--r-- 7,860 theory.mli