]> matita.cs.unibo.it Git - helm.git/commit
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
treeba23a354f9fd07de4d6574dd1f31326e603f21d1
parentcadde4128694655a6df2e01b6c6a6e6913ee6096
added a metas_of_term implemented using sets instead of lists (avoids some stack overflows)
helm/software/components/cic/cicUtil.ml
helm/software/components/cic/cicUtil.mli