]> matita.cs.unibo.it Git - helm.git/commit - matita/components/ng_tactics/Makefile
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 728ab68) | patch
removed zipTree and andOrTree.
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 6 Oct 2010 14:12:55 +0000 (14:12 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 6 Oct 2010 14:12:55 +0000 (14:12 +0000)
commita788e3d51daff7846b555fbe8e4a0e912a56b6f7
tree96a6774a6da3156f5b5cb20797db26ab1f98f143tree | snapshot
parent728ab68a75e1e447ecd2d7ea4a679d9176564d19commit | diff
removed zipTree and andOrTree.
matita/components/ng_tactics/Makefile diff | blob | history
matita/components/ng_tactics/andOrTree.ml [deleted file] blob | history
matita/components/ng_tactics/andOrTree.mli [deleted file] blob | history
matita/components/ng_tactics/zipTree.ml [deleted file] blob | history
matita/components/ng_tactics/zipTree.mli [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.