]> matita.cs.unibo.it Git - helm.git/commit
attributes support
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 21 Jan 2005 09:26:13 +0000 (09:26 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 21 Jan 2005 09:26:13 +0000 (09:26 +0000)
commite8236af508187f6446f5af481d545d433628ee00
tree38959413095cfa5ff1eec01530eba8d4f3dc4f71
parent9c960d672031bc9ffabb6467bcb13a9e1c55495c
attributes support
helm/ocaml/cic_proof_checking/cicReductionMachine.ml
helm/ocaml/cic_proof_checking/cicReductionNaif.ml
helm/ocaml/cic_proof_checking/cicSubstitution.ml
helm/ocaml/cic_proof_checking/cicTypeChecker.ml
helm/ocaml/cic_proof_checking/cicUnivUtils.ml
helm/ocaml/cic_unification/cicRefine.ml
helm/ocaml/cic_unification/coercGraph.ml