]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 71b71ad) | patch
added assertions about graph in the environment having Some uris
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 29 Apr 2005 08:07:05 +0000 (08:07 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 29 Apr 2005 08:07:05 +0000 (08:07 +0000)
commit9d3dcd6970c1e24c8191f268c441e42c8d8b6c89
treed3010bf87f19f837b4f63a3861ba23eff0122a05tree | snapshot
parent71b71ad9ccda0f26a25f3a5ad7e1697025d207a9commit | diff
added assertions about graph in the environment having Some uris
helm/ocaml/cic/cicUniv.ml diff | blob | history
helm/ocaml/cic/cicUniv.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.