]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4496bf2) | patch
moved to fast implementation and fixed a bug in the clean_ugraph function
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 3 Oct 2005 08:10:18 +0000 (08:10 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 3 Oct 2005 08:10:18 +0000 (08:10 +0000)
commit8f86320e1ee981e2a8ad6c56b031a0394c8c1ad3
treeefe080c49ef6d0a50f38da8f55cbf91130c945e4tree | snapshot
parent4496bf2f1647f61657441b8249c05dab979da091commit | diff
moved to fast implementation and fixed a bug in the clean_ugraph function
helm/ocaml/cic/cicUniv.ml diff | blob | history
helm/ocaml/cic/cicUniv.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.