]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f71c28c) | patch
added freshNameGenerator
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 5 Feb 2004 13:31:31 +0000 (13:31 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 5 Feb 2004 13:31:31 +0000 (13:31 +0000)
commit59777aef7eef8a174f2c7de425676c120e46d978
tree61a42bec9f6e4234f63a7b985dffc39c2918c691tree | snapshot
parentf71c28c100c2e7d2f5a279c79be893f74264897ecommit | diff
added freshNameGenerator
helm/ocaml/cic_unification/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.