projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Thu, 13 Jan 2005 07:08:55 +0000 (07:08 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Thu, 13 Jan 2005 07:08:55 +0000 (07:08 +0000) | ||
| commit | 086099d1a60948454cf0874744ef2222c2edc1b6 | |
| tree | c131bc23088fa2ccb1cbd7ad7019450df93cf576 | tree | snapshot |
| parent | aaa11ef4a3958fb980f15f8104d22b9d5fea43a9 | commit | diff |
| helm/ocaml/cic_proof_checking/cicElim.ml | diff | blob | history | |
| helm/ocaml/cic_proof_checking/cicElim.mli | diff | blob | history |