]> matita.cs.unibo.it Git - helm.git/commit
added notation for reals 0, 1, n
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 13 Sep 2003 23:56:42 +0000 (23:56 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 13 Sep 2003 23:56:42 +0000 (23:56 +0000)
commit5f45c292bf9e99bd746f6ec4c7c268022012e925
treea29bb508c9bac456911ca1a841f806e8b4eeae8e
parent03d1ddf4a7fdf03fd497babd84d1963048253f0d
added notation for reals 0, 1, n
helm/ocaml/cic_transformations/content_expressions.ml