Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | AAC.v | 37433 | 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 | 228 | logplain |
-rw-r--r-- | Makefile | 244 | logplain |
-rw-r--r-- | README | 1619 | logplain |
-rw-r--r-- | Tutorial.v | 11896 | logplain |
-rw-r--r-- | aac.mlpack | 53 | logplain |
-rwxr-xr-x | coq.ml | 18008 | logplain |
-rw-r--r-- | coq.mli | 8334 | logplain |
-rw-r--r-- | description | 636 | logplain |
-rw-r--r-- | helper.ml | 1138 | logplain |
-rw-r--r-- | helper.mli | 1261 | logplain |
-rw-r--r-- | matcher.ml | 35844 | logplain |
-rw-r--r-- | matcher.mli | 7353 | logplain |
-rw-r--r-- | print.ml | 3618 | logplain |
-rw-r--r-- | print.mli | 1081 | logplain |
-rw-r--r-- | rewrite.ml4 | 16825 | 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 | 35585 | logplain |
-rw-r--r-- | theory.mli | 7748 | logplain |