]> matita.cs.unibo.it Git - helm.git/commit
fixed typo in eqT's URI
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 4 Sep 2003 15:02:03 +0000 (15:02 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 4 Sep 2003 15:02:03 +0000 (15:02 +0000)
commit4f52daab3f629aaae5cec7ccd8cc720733a0c13e
tree9961e71c34562d339a873be4f3a3c4807dd313ba
parent36d9dada5eb3894d96c807781e1056b73a1c0a79
fixed typo in eqT's URI
helm/ocaml/cic_transformations/content_expressions.ml