]> matita.cs.unibo.it Git - helm.git/commit
added mathml_ns
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 1 Feb 2005 17:55:53 +0000 (17:55 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 1 Feb 2005 17:55:53 +0000 (17:55 +0000)
commit2e20f3cf00bfbb93b8ca9419aa36d22ddec49815
treeab7b21058706cf691b7a49652e224cc576ef5bb7
parenta3bc73ee710387e84d1cd33a3f8f6303daa7cc1f
added mathml_ns
helm/ocaml/cic_transformations/misc.ml
helm/ocaml/cic_transformations/misc.mli