]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d242b5) | patch
hashtbl on cic terms is a bit faster
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 16 May 2006 08:21:51 +0000 (08:21 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 16 May 2006 08:21:51 +0000 (08:21 +0000)
commit1b1c51a6172c0b41b7e5cf01cb0257a60e6f5622
tree0710b44e115d194411a2b2039fb723ee690b1909tree | snapshot
parent2d242b51687938075e568d360b93f83a4b0a1ce9commit | diff
hashtbl on cic terms is a bit faster
components/cic/cic.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.