]> matita.cs.unibo.it Git - helm.git/commit
use BoxPp
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 16 Feb 2004 09:43:25 +0000 (09:43 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 16 Feb 2004 09:43:25 +0000 (09:43 +0000)
commit45af5934d979d71a99a119cc0f94f0e0908303c8
tree75935ddd811ac769159375c96e0fb3b6d10c8012
parentfd4eed43223b7aeabc680d94f06db9e2a87f4a4c
use BoxPp
helm/ocaml/cic_disambiguation/test_parser.ml