projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Tue, 11 Jan 2005 16:03:13 +0000 (16:03 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Tue, 11 Jan 2005 16:03:13 +0000 (16:03 +0000) | ||
| commit | 3530497aed9b6ef2cd057cf7fc89ceae1d524fc1 | |
| tree | 42a92363f60fa06bd15159cc3c192891caade301 | tree | snapshot |
| parent | fa70e8149a0c5405c4498cb3b7898d733a91910b | commit | diff |
| helm/ocaml/cic_proof_checking/cicUnivUtils.ml | diff | blob | history | |
| helm/ocaml/cic_proof_checking/cicUnivUtils.mli | diff | blob | history |