]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4f0397e) | patch
better coercions indexing and lookup
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 9 Dec 2008 18:27:31 +0000 (18:27 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 9 Dec 2008 18:27:31 +0000 (18:27 +0000)
commit10634c47be2ece4c088a1a1c1be5163952bf1c42
tree6fb9160f5b09ca2581f9e3b18b317c7227973787tree | snapshot
parent4f0397e0faf85e400e244c815de4780660652faacommit | diff
better coercions indexing and lookup
helm/software/components/ng_refiner/nCicCoercion.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.