]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/cic_transformations/tacticAst.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2badc68) | patch
More tactics are now available to matita.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Jun 2005 11:00:17 +0000 (11:00 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Jun 2005 11:00:17 +0000 (11:00 +0000)
commit0eab2248345360e8e4b261f653f897db645998a7
tree3a75e98a2b8b9796a185f87fd0c7376542f574c4tree | snapshot
parent2badc68c73958cc9bafb6d2f05c40546786f5da2commit | diff
More tactics are now available to matita.
helm/ocaml/cic_disambiguation/cicTextualParser2.ml diff | blob | history
helm/ocaml/cic_transformations/tacticAst.ml diff | blob | history
helm/ocaml/cic_transformations/tacticAst2Box.ml diff | blob | history
helm/ocaml/cic_transformations/tacticAstPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.