]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f8d58fc) | patch
prettified
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 22 Jan 2004 10:44:37 +0000 (10:44 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 22 Jan 2004 10:44:37 +0000 (10:44 +0000)
commit0de03e5561ce39a3e684e367be7f5b7979575af9
treed3d66fa9659fd2b8ed4374e792c223eb945adf80tree | snapshot
parentf8d58fcacc3544aeabec15d2157cb5ef6e8d6840commit | diff
prettified
helm/ocaml/cic_unification/cicMetaSubst.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.