]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 03dbf66) | patch
- ported to typed explicit subst
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 22 Oct 2004 12:16:22 +0000 (12:16 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 22 Oct 2004 12:16:22 +0000 (12:16 +0000)
commit16e2e2496f35a96c59e909133ff69767d37298aa
tree20f660fa11883233d8c49e92afe60ea96c1682f5tree | snapshot
parent03dbf66cecebcfa5cf6b7ba8a9b0f0b0a55dde6ecommit | diff
- ported to typed explicit subst
- beta expansion in the case of Appl commented, waiting for a better
  solution
helm/ocaml/cic_unification/cicUnification.ml diff | blob | history
helm/ocaml/cic_unification/cicUnification.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.