]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8ae285e) | patch
* First implementation of CicRefine
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 22 Dec 2002 19:04:49 +0000 (19:04 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 22 Dec 2002 19:04:49 +0000 (19:04 +0000)
commit05602d605a8a694dc5c3f4a517810c027e20dc2f
treeb05162ca31a1663f6059486939bc66a473971644tree | snapshot
parent8ae285e63ffafccb4336950aa512a6b79ca0a4a2commit | diff
* First implementation of CicRefine
* unwind_subst is now exported in the interface
helm/ocaml/cic_unification/.depend diff | blob | history
helm/ocaml/cic_unification/Makefile diff | blob | history
helm/ocaml/cic_unification/cicRefine.ml [new file with mode: 0644] blob
helm/ocaml/cic_unification/cicRefine.mli [new file with mode: 0644] blob
helm/ocaml/cic_unification/cicUnification.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.