]> matita.cs.unibo.it Git - helm.git/commit
More V8.0 uris.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 24 Feb 2004 15:22:16 +0000 (15:22 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 24 Feb 2004 15:22:16 +0000 (15:22 +0000)
commit09d156a3f1ee9ebaccc9dc971734aa94509ca51a
tree3e0ea489ea0d72b0a8a0fe095b300c38734b177f
parentf88549d5f75107867c34e2300bd4199d4d6e80b2
More V8.0 uris.
helm/ocaml/cic_transformations/content_expressions.ml