]> matita.cs.unibo.it Git - helm.git/commit
uses CicPp.ppsort
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 Jan 2005 16:20:29 +0000 (16:20 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 Jan 2005 16:20:29 +0000 (16:20 +0000)
commitf67051433df98fea85f4af84c12b637f11315277
tree3483cdd1a4c4dc49665a95dd57a0fe4084fbc4a7
parent34396aa0ba494f0be90c80c5421d3baa1ac1e5c4
uses CicPp.ppsort
helm/ocaml/metadata/metadataConstraints.ml
helm/ocaml/metadata/metadataPp.ml
helm/ocaml/metadata/metadataPp.mli