]>
author | Stefano Zacchiroli <zack@upsilon.cc> | |
Wed, 5 Jan 2005 14:06:41 +0000 (14:06 +0000) | ||
committer | Stefano Zacchiroli <zack@upsilon.cc> | |
Wed, 5 Jan 2005 14:06:41 +0000 (14:06 +0000) | ||
commit | 1850832c5f252cb6f79bce5184ccb9046a4057fb | |
tree | 5fc2d2e00fe1273a28eeb449cfffd7a62e22fe82 | tree | snapshot |
parent | 34802c576a1a1e6283adfbdba2debe3ac2e6791f | commit | diff |
helm/ocaml/cic_proof_checking/cicElim.ml | diff | blob | history |