]> matita.cs.unibo.it Git - helm.git/commit
New tactics ncut and nlapply.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 14 Sep 2009 08:45:55 +0000 (08:45 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 14 Sep 2009 08:45:55 +0000 (08:45 +0000)
commitb91d9e60b0a5f450d2725d4b9bb3ed7f81ef6d3a
tree590b39e594eebd55f00755939c26755de99da42e
parent1434d54f86fcce0296bcda49086ce7f7040aa53d
New tactics ncut and nlapply.
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_refiner/nCicCoercion.ml
helm/software/components/ng_tactics/nTactics.ml
helm/software/components/ng_tactics/nTactics.mli
helm/software/matita/nlibrary/sets/partitions.ma
helm/software/matita/nlibrary/sets/sets.ma