]>
author | Enrico Tassi <enrico.tassi@inria.fr> | |
Thu, 7 Jul 2005 11:01:59 +0000 (11:01 +0000) | ||
committer | Enrico Tassi <enrico.tassi@inria.fr> | |
Thu, 7 Jul 2005 11:01:59 +0000 (11:01 +0000) | ||
commit | 16cfd31fa90759c8318b6bb12c992c45df60c41b | |
tree | ee2c44f08986b68485ce222b6335527b5dc31ed9 | tree | snapshot |
parent | e4f647a89ca8fefdc69bab65468683c415ff0619 | commit | diff |
helm/ocaml/cic_proof_checking/cicElim.ml | diff | blob | history |