]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d2c444d) | patch
Universe is a discrimination-tree structure.
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 23 Nov 2006 14:09:08 +0000 (14:09 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 23 Nov 2006 14:09:08 +0000 (14:09 +0000)
commit4fdd0bfa2337b0d35846cdfd63bd3c3bb6fbd3e5
treeca9a8f43e3dcb615e7cdddb620c0bd8d7122d7aatree | snapshot
parentd2c444ddd7e612809205894974fcd7fdddee6acfcommit | diff
Universe is a discrimination-tree structure.
helm/software/components/tactics/universe.ml [new file with mode: 0644] blob
helm/software/components/tactics/universe.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.