Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 13 | logplain |
-rw-r--r-- | AAC.v | 37410 | logplain |
-rw-r--r-- | AAC_coq.ml | 17696 | logplain |
-rw-r--r-- | AAC_coq.mli | 8282 | logplain |
-rw-r--r-- | AAC_helper.ml | 1138 | logplain |
-rw-r--r-- | AAC_helper.mli | 1261 | logplain |
-rw-r--r-- | AAC_matcher.ml | 33534 | logplain |
-rw-r--r-- | AAC_matcher.mli | 7369 | logplain |
-rw-r--r-- | AAC_print.ml | 3680 | logplain |
-rw-r--r-- | AAC_print.mli | 1106 | logplain |
-rw-r--r-- | AAC_rewrite.ml | 16661 | logplain |
-rw-r--r-- | AAC_rewrite.mli | 619 | logplain |
-rw-r--r-- | AAC_search_monad.ml | 1899 | logplain |
-rw-r--r-- | AAC_search_monad.mli | 1409 | logplain |
-rw-r--r-- | AAC_theory.ml | 34721 | logplain |
-rw-r--r-- | AAC_theory.mli | 7837 | logplain |
-rw-r--r-- | COPYING | 35147 | logplain |
-rw-r--r-- | COPYING.LESSER | 7637 | logplain |
-rw-r--r-- | Caveats.v | 11913 | logplain |
-rw-r--r-- | Instances.v | 11040 | logplain |
-rw-r--r-- | LICENSE | 651 | logplain |
-rw-r--r-- | README.txt | 2273 | logplain |
-rw-r--r-- | Tutorial.v | 11890 | logplain |
d--------- | debian | 631 | logplain |
-rw-r--r-- | files.txt | 141 | logplain |
-rw-r--r-- | magic.txt | 518 | logplain |
-rwxr-xr-x | make_makefile | 2313 | logplain |