]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aeac775) | patch
- new implementation of the apply case in fo_unif using beta expansion
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 28 Jun 2004 10:59:17 +0000 (10:59 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 28 Jun 2004 10:59:17 +0000 (10:59 +0000)
commit9945374a5594c068883fa6c775f17b640fcac64d
tree34ec0887ab829bdb4d9390cb5d22c8c51610e37dtree | snapshot
parentaeac77539da374b9c9a0f3aae1c7b43963c9dab9commit | diff
- new implementation of the apply case in fo_unif using beta expansion
- infinite loop fix while unifying terms in an invalid metasenv
helm/ocaml/cic_unification/.depend diff | blob | history
helm/ocaml/cic_unification/cicMetaSubst.ml diff | blob | history
helm/ocaml/cic_unification/cicMetaSubst.mli diff | blob | history
helm/ocaml/cic_unification/cicRefine.ml diff | blob | history
helm/ocaml/cic_unification/cicUnification.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.