Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 13 | logplain |
-rw-r--r-- | AAC.v | 37651 | logplain |
-rw-r--r-- | CHANGELOG | 1018 | 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 | 11084 | logplain |
-rw-r--r-- | LICENSE | 651 | logplain |
-rw-r--r-- | Make | 238 | logplain |
-rw-r--r-- | Makefile | 253 | logplain |
-rw-r--r-- | README | 1619 | logplain |
-rw-r--r-- | Tutorial.v | 11896 | logplain |
-rw-r--r-- | aac.mlpack | 57 | logplain |
-rw-r--r-- | aac_rewrite.ml4 | 16988 | logplain |
-rw-r--r-- | aac_rewrite.mli | 619 | logplain |
-rwxr-xr-x | coq.ml | 18643 | logplain |
-rw-r--r-- | coq.mli | 8322 | logplain |
d--------- | debian | 697 | logplain |
-rw-r--r-- | description | 636 | logplain |
-rw-r--r-- | helper.ml | 1160 | logplain |
-rw-r--r-- | helper.mli | 1261 | logplain |
-rw-r--r-- | matcher.ml | 35851 | logplain |
-rw-r--r-- | matcher.mli | 7353 | logplain |
-rw-r--r-- | print.ml | 3634 | logplain |
-rw-r--r-- | print.mli | 1068 | logplain |
-rw-r--r-- | search_monad.ml | 2036 | logplain |
-rw-r--r-- | search_monad.mli | 1452 | logplain |
-rw-r--r-- | theory.ml | 35589 | logplain |
-rw-r--r-- | theory.mli | 7742 | logplain |