]> matita.cs.unibo.it Git - helm.git/commit
constructor accepts the arguments of the constructor...
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Sep 2009 12:33:22 +0000 (12:33 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Sep 2009 12:33:22 +0000 (12:33 +0000)
commitda2c7f7bb1d9f27d998e54e09218be2245a00805
tree9a9313d4c9e31224957de2082da19f2a9820dfc3
parenta82bb964ad0bf0969dae008a4de854532846e455
constructor accepts the arguments of the constructor...
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/nTactics.ml
helm/software/components/ng_tactics/nTactics.mli
helm/software/matita/nlibrary/sets/sets.ma
helm/software/matita/nlibrary/topology/igft.ma