]> matita.cs.unibo.it Git - helm.git/commit
Rinv typo fix
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 23 Feb 2004 15:56:10 +0000 (15:56 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 23 Feb 2004 15:56:10 +0000 (15:56 +0000)
commit2e6021e158975e808f8cbf653e15a9462409a70a
tree926a89cc3c5a53abf8896c9998930436ece181ee
parent8b135229041a99a61e5c1e59824d998f3c89a616
Rinv typo fix
helm/ocaml/cic_transformations/content_expressions.ml