index
:
debian-aac-tactics
master
pristine-tar
upstream
Debian packaging for aac-tactics
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Mode
Name
Size
-rw-r--r--
.gitignore
13
log
plain
-rw-r--r--
AAC.v
37410
log
plain
-rw-r--r--
AAC_coq.ml
17696
log
plain
-rw-r--r--
AAC_coq.mli
8282
log
plain
-rw-r--r--
AAC_helper.ml
1138
log
plain
-rw-r--r--
AAC_helper.mli
1261
log
plain
-rw-r--r--
AAC_matcher.ml
35854
log
plain
-rw-r--r--
AAC_matcher.mli
7369
log
plain
-rw-r--r--
AAC_print.ml
3680
log
plain
-rw-r--r--
AAC_print.mli
1106
log
plain
-rw-r--r--
AAC_rewrite.ml
16661
log
plain
-rw-r--r--
AAC_rewrite.mli
619
log
plain
-rw-r--r--
AAC_search_monad.ml
2036
log
plain
-rw-r--r--
AAC_search_monad.mli
1452
log
plain
-rw-r--r--
AAC_theory.ml
34721
log
plain
-rw-r--r--
AAC_theory.mli
7837
log
plain
-rw-r--r--
CHANGELOG
1018
log
plain
-rw-r--r--
COPYING
35147
log
plain
-rw-r--r--
COPYING.LESSER
7637
log
plain
-rw-r--r--
Caveats.v
11951
log
plain
-rw-r--r--
Instances.v
11040
log
plain
-rw-r--r--
LICENSE
651
log
plain
-rw-r--r--
Makefile
8332
log
plain
-rw-r--r--
README.txt
2273
log
plain
-rw-r--r--
Tutorial.v
11890
log
plain
d---------
debian
631
log
plain
-rw-r--r--
files.txt
141
log
plain
-rw-r--r--
magic.txt
518
log
plain
-rwxr-xr-x
make_makefile
2313
log
plain