Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 4 | logplain |
-rw-r--r-- | AAC.v | 23228 | logplain |
-rw-r--r-- | COPYING | 35147 | logplain |
-rw-r--r-- | COPYING.LESSER | 7637 | logplain |
-rw-r--r-- | Instances.v | 5513 | logplain |
-rw-r--r-- | LICENSE | 651 | logplain |
-rw-r--r-- | README.txt | 1901 | logplain |
-rw-r--r-- | Tests.v | 8937 | logplain |
-rw-r--r-- | Tutorial.v | 9851 | logplain |
-rw-r--r-- | aac_rewrite.ml | 11176 | logplain |
-rw-r--r-- | aac_rewrite.mli | 2700 | logplain |
-rw-r--r-- | coq.ml | 5939 | logplain |
-rw-r--r-- | coq.mli | 3772 | logplain |
d--------- | debian | 665 | logplain |
-rw-r--r-- | files.txt | 72 | logplain |
-rw-r--r-- | magic.txt | 424 | logplain |
-rwxr-xr-x | make_makefile | 1752 | logplain |
-rw-r--r-- | matcher.ml | 26759 | logplain |
-rw-r--r-- | matcher.mli | 7023 | logplain |
-rw-r--r-- | theory.ml | 22758 | logplain |
-rw-r--r-- | theory.mli | 7853 | logplain |