diff options
| author |  Stephane Glondu <steph@glondu.net> | 2010-12-01 11:53:25 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2010-12-01 11:53:25 +0100 |
| commit | 9e28c50232e56e35437afb468c6d273abcf5eab5 (patch) | |
| tree | 5683a9003d284a2b346491ebf276f67c3ec733fa /files.txt | |
| parent | 1aa8b6f6a876af22f538c869f022bc4ca5986b40 (diff) | |
Imported Upstream version 0.2upstream/0.2
Diffstat (limited to 'files.txt')
| -rw-r--r-- | files.txt | 12 |
1 files changed, 8 insertions, 4 deletions
@@ -1,7 +1,11 @@ -matcher.ml -coq.ml -theory.ml -aac_rewrite.ml +AAC_coq.ml +AAC_helper.ml +AAC_search_monad.ml +AAC_matcher.ml +AAC_theory.ml +AAC_print.ml +AAC_rewrite.ml AAC.v Instances.v Tutorial.v +Caveats.v |