]> matita.cs.unibo.it Git - helm.git/commit
added dummy entry in CicAst: UserInput
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 11 Nov 2004 13:30:45 +0000 (13:30 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 11 Nov 2004 13:30:45 +0000 (13:30 +0000)
commitcbe0302d6b0d2bca6657fa7479a62d0004665612
treea30ed783a34b0e70a76768cbdb51ea7526420a18
parent142d3076f2a4dc17d9045c2bba4d4b01eddfd008
added dummy entry in CicAst: UserInput
helm/ocaml/cic_disambiguation/disambiguate.ml
helm/ocaml/cic_transformations/ast2pres.ml
helm/ocaml/cic_transformations/cicAst.ml
helm/ocaml/cic_transformations/cicAstPp.ml