]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 45ca0fe) | patch
ported to new type_of prototype
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 2 Feb 2004 17:06:25 +0000 (17:06 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 2 Feb 2004 17:06:25 +0000 (17:06 +0000)
commit5546d314d7830b12ab9c146b4493d3424327a249
tree6b8668072c58c3f00bfb5d2e22b610c4b3599791tree | snapshot
parent45ca0fe459f75004c26e133d4cbf4659b62fd4dfcommit | diff
ported to new type_of prototype
helm/gTopLevel/oldDisambiguate.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.