Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 9 | logplain |
-rw-r--r-- | AAC.v | 37650 | logplain |
-rw-r--r-- | AAC_coq.ml | 17883 | logplain |
-rw-r--r-- | AAC_coq.mli | 8303 | logplain |
-rw-r--r-- | AAC_helper.ml | 1146 | logplain |
-rw-r--r-- | AAC_helper.mli | 1261 | logplain |
-rw-r--r-- | AAC_matcher.ml | 33894 | logplain |
-rw-r--r-- | AAC_matcher.mli | 7386 | logplain |
-rw-r--r-- | AAC_print.ml | 3716 | logplain |
-rw-r--r-- | AAC_print.mli | 1108 | logplain |
-rw-r--r-- | AAC_rewrite.ml | 16831 | logplain |
-rw-r--r-- | AAC_rewrite.mli | 619 | logplain |
-rw-r--r-- | AAC_search_monad.ml | 1913 | logplain |
-rw-r--r-- | AAC_search_monad.mli | 1410 | logplain |
-rw-r--r-- | AAC_theory.ml | 35092 | logplain |
-rw-r--r-- | AAC_theory.mli | 7867 | logplain |
-rw-r--r-- | COPYING | 35147 | logplain |
-rw-r--r-- | COPYING.LESSER | 7637 | logplain |
-rw-r--r-- | Caveats.v | 11945 | logplain |
-rw-r--r-- | Instances.v | 11079 | logplain |
-rw-r--r-- | LICENSE | 651 | logplain |
-rw-r--r-- | README.txt | 2273 | logplain |
-rw-r--r-- | Tutorial.v | 11953 | logplain |
-rw-r--r-- | files.txt | 141 | logplain |
-rw-r--r-- | magic.txt | 518 | logplain |
-rwxr-xr-x | make_makefile | 2313 | logplain |