]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aa76976) | patch
added a metas_of_term implemented using sets instead of lists (avoids some stack...
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 27 Jun 2006 16:44:14 +0000 (16:44 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 27 Jun 2006 16:44:14 +0000 (16:44 +0000)
commit6a1196490a40ebab9cdbba3649559c6fd1478187
tree7a7f47a261ab00cfd87a327b44b445d0636cdda6tree | snapshot
parentaa76976507a3e1bfc01fda29bfcefc27f70f6d83commit | diff
added a metas_of_term implemented using sets instead of lists (avoids some stack overflows)
components/cic/cicUtil.ml diff | blob | history
components/cic/cicUtil.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.