]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f570860) | patch
Incredible bug fixed: coercions were computed and then partially thrown away
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 18 Nov 2005 15:59:38 +0000 (15:59 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 18 Nov 2005 15:59:38 +0000 (15:59 +0000)
commitca7c474381445e17d15ced6bf42da16946335598
tree225384a3b88dd280ad1ea77ee033206e4b9e0fb3tree | snapshot
parentf5708603f309bf12ac31c15ebedfdaf8e879283ecommit | diff
Incredible bug fixed: coercions were computed and then partially thrown away
during eat_prods!
helm/matita/contribs/PREDICATIVE-TOPOLOGY/qd_defs.ma diff | blob | history
helm/ocaml/cic_unification/cicRefine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.