]> matita.cs.unibo.it Git - helm.git/commit
use CicAstPp
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Feb 2004 09:42:02 +0000 (09:42 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Feb 2004 09:42:02 +0000 (09:42 +0000)
commita73d3f9cd6bda37cfb538e9fdf66f905a01d8e37
treeb03c5d22bdceb295401ad383e5f31942b120a1fe
parentb82f304b26de27ec6f59faa29ec41eadd221cfa8
use CicAstPp
helm/ocaml/cic_disambiguation/test_parser.ml