]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e4753fc) | patch
Added ntry and nassumption tactics
authordenes <??>
Thu, 18 Jun 2009 15:26:24 +0000 (15:26 +0000)
committerdenes <??>
Thu, 18 Jun 2009 15:26:24 +0000 (15:26 +0000)
commitd6484aac4ff287a3a3646807801eab4b27cfb054
tree3edc9b8ae3f3ebe5a9a748a7d6edbeeaac437254tree | snapshot
parente4753fc1a4dbc9a6d2144383d805ec626fa93070commit | diff
Added ntry and nassumption tactics
helm/software/components/grafite/grafiteAst.ml diff | blob | history
helm/software/components/grafite/grafiteAstPp.ml diff | blob | history
helm/software/components/grafite_engine/grafiteEngine.ml diff | blob | history
helm/software/components/grafite_parser/grafiteParser.ml diff | blob | history
helm/software/components/ng_tactics/nTactics.ml diff | blob | history
helm/software/components/ng_tactics/nTactics.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.