]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a7587b1) | patch
generation of existential variables fixed
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 20 May 2006 12:23:02 +0000 (12:23 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 20 May 2006 12:23:02 +0000 (12:23 +0000)
commitaaa3e96cdef325732c756ddf6ad20915b1587d93
tree87a9eff4dfa0782606fb943062d1659a8ff73f87tree | snapshot
parenta7587b1e68cef617779bee4ebe744ceffba6bc10commit | diff
generation of existential variables fixed
helm/software/components/binaries/tptp2grafite/main.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.