]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d747da7) | patch
1. removed obsolete comments
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 27 May 2005 11:01:16 +0000 (11:01 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 27 May 2005 11:01:16 +0000 (11:01 +0000)
commit2468d0398195d41200bfd07db68fa675dc90b875
tree9cb7e0bc5742a47382e5629dcd95e6abb417b3aftree | snapshot
parentd747da7b7a32c08eb948f22ac505003a7adce2c4commit | diff
1. removed obsolete comments
2. extended delift to the case of meta in head position
3. added a cases (? t1) vs t2: ? gets unified to the beta
expansion of t2 w.r.t t1.
helm/ocaml/cic_unification/cicUnification.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.