]> matita.cs.unibo.it Git - helm.git/tree - helm/ocaml/
Fixed a few bugs in the inference of the outtype for a match.
[helm.git] / helm / ocaml /
drwxr-xr-x   ..
-rw-r--r-- 144 .cvsignore
drwxr-xr-x - METAS
-rw-r--r-- 3622 Makefile.common.in
-rw-r--r-- 2740 Makefile.in
-rw-r--r-- 155 TODO
drwxr-xr-x - cic
drwxr-xr-x - cic_annotations
drwxr-xr-x - cic_disambiguation
drwxr-xr-x - cic_notation
drwxr-xr-x - cic_omdoc
drwxr-xr-x - cic_proof_checking
drwxr-xr-x - cic_transformations
drwxr-xr-x - cic_unification
-rw-r--r-- 1439 configure.ac
drwxr-xr-x - getter
drwxr-xr-x - hbugs
-rw-r--r-- 993 license
drwxr-xr-x - logger
drwxr-xr-x - mathql
drwxr-xr-x - mathql_generator
drwxr-xr-x - mathql_interpreter
drwxr-xr-x - metadata
drwxr-xr-x - paramodulation
drwxr-xr-x - pxp
drwxr-xr-x - registry
drwxr-xr-x - tactics
drwxr-xr-x - tex_cic_textual_parser
drwxr-xr-x - thread
drwxr-xr-x - urimanager
drwxr-xr-x - utf8_macros
drwxr-xr-x - xml
drwxr-xr-x - xmldiff