]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7be0c7d) | 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)
commitdfbd010fe5a46d049849913bc23000289893ea4f
treee923563aacfac9a608277f47e008617f7f1451d6tree | snapshot
parent7be0c7d35523e41835edfa41404c1aa6eb28f3aacommit | diff
little bug in coercion generation found. it use to create more coercions that expected (luckily convertible).
components/tactics/closeCoercionGraph.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.