Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 13 | logplain |
-rw-r--r-- | AAC.v | 37408 | logplain |
-rw-r--r-- | CHANGELOG | 1083 | logplain |
-rw-r--r-- | COPYING | 35147 | logplain |
-rw-r--r-- | COPYING.LESSER | 7637 | logplain |
-rw-r--r-- | Caveats.v | 11897 | logplain |
-rw-r--r-- | Instances.v | 11030 | logplain |
-rw-r--r-- | LICENSE | 651 | logplain |
-rw-r--r-- | Makefile | 590 | logplain |
-rw-r--r-- | README.txt | 2237 | logplain |
-rw-r--r-- | Tutorial.v | 11896 | logplain |
-rw-r--r-- | aac.mlpack | 53 | logplain |
-rw-r--r-- | coq.ml | 17772 | logplain |
-rw-r--r-- | coq.mli | 8282 | logplain |
d--------- | debian | 631 | logplain |
-rw-r--r-- | files.txt | 141 | logplain |
-rw-r--r-- | helper.ml | 1138 | logplain |
-rw-r--r-- | helper.mli | 1261 | logplain |
-rw-r--r-- | matcher.ml | 35842 | logplain |
-rw-r--r-- | matcher.mli | 7353 | logplain |
-rw-r--r-- | print.ml | 3612 | logplain |
-rw-r--r-- | print.mli | 1078 | logplain |
-rw-r--r-- | rewrite.ml4 | 16189 | logplain |
-rw-r--r-- | rewrite.mli | 619 | logplain |
-rw-r--r-- | search_monad.ml | 2036 | logplain |
-rw-r--r-- | search_monad.mli | 1452 | logplain |
-rw-r--r-- | theory.ml | 34049 | logplain |
-rw-r--r-- | theory.mli | 7745 | logplain |