]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 07e6ac3) | patch
little bug in coercion generation found. it use to create more coercions that expecte...
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 26 Jul 2007 10:39:38 +0000 (10:39 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 26 Jul 2007 10:39:38 +0000 (10:39 +0000)
commit8554834e58019a70f9a8755c5245fee293c39820
treedcecc310888b5ae18c78ddb528a92631f8394dc4tree | snapshot
parent07e6ac32902b6b96c74bc82dfac5f08e61c7ccbecommit | diff
little bug in coercion generation found. it use to create more coercions that expected (luckily convertible).
helm/software/components/tactics/closeCoercionGraph.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.