]> matita.cs.unibo.it Git - helm.git/commit
extlib list_uniq instead of local copy
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 19 Apr 2008 16:27:57 +0000 (16:27 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 19 Apr 2008 16:27:57 +0000 (16:27 +0000)
commitefc3d154e69c0fb18215901f5c4de3a73ebc2fb5
treeab793030b2d28552afb312d3fa670885c0ed8c35
parent2ed731db1107673f11de9b56a376bee41b4cf0be
extlib list_uniq instead of local copy
helm/software/components/cic_proof_checking/cicUnivUtils.ml