]> matita.cs.unibo.it Git - helm.git/commit
ncopy partially implemented and fixed (a ?) chain to print elimintaors
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 15 Jul 2009 16:34:34 +0000 (16:34 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 15 Jul 2009 16:34:34 +0000 (16:34 +0000)
commit948bb5d710c5d7f3185b6fef76c8e71f247cc664
treeb59b2d35b3aa2c025f90926a0a1ea78f36a35ad5
parent4442acec319822fbc4eb2e873808dbfc1893f390
ncopy partially implemented and fixed (a ?) chain to print elimintaors
helm/software/components/content_pres/content2pres.ml
helm/software/components/grafite/grafiteAst.ml
helm/software/components/grafite/grafiteAstPp.ml
helm/software/components/grafite_engine/grafiteEngine.ml
helm/software/components/grafite_parser/grafiteParser.ml
helm/software/components/ng_tactics/nCicElim.ml