]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 67cf4ce) | 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)
commit1997c9713a0f75ec65803cc8132223142df98204
treeb2291108994aa039a15c49cb3dffb6be56e49834tree | snapshot
parent67cf4ce16c346991c8eda71576414f5c6324ab82commit | diff
Universe is a discrimination-tree structure.
components/tactics/universe.ml [new file with mode: 0644] blob
components/tactics/universe.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.