]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0a9ed43) | patch
commented out pack coercion, since the code is not meaningfull.
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 19 Sep 2007 07:20:39 +0000 (07:20 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 19 Sep 2007 07:20:39 +0000 (07:20 +0000)
commitbff82b0ee42229e87bad101341fc5789d8199153
tree271080ac5fd31fa6546bcfde6cd58b18921be234tree | snapshot
parent0a9ed4329c069d2e06902934b6d1d58d3690959ccommit | diff
commented out pack coercion, since the code is not meaningfull.
it was conceived when coercions were toys, now it is much more complicated
components/cic_unification/cicRefine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.