]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cadde41) | 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)
commit8d07bbad4976d7dc1b99918cc3513fe40cd1ee9f
treeba23a354f9fd07de4d6574dd1f31326e603f21d1tree | snapshot
parentcadde4128694655a6df2e01b6c6a6e6913ee6096commit | diff
added a metas_of_term implemented using sets instead of lists (avoids some stack overflows)
helm/software/components/cic/cicUtil.ml diff | blob | history
helm/software/components/cic/cicUtil.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.