]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Wed, 20 Jul 2005 16:25:32 +0000 (16:25 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Wed, 20 Jul 2005 16:25:32 +0000 (16:25 +0000) | ||
commit | f268a4b949ad0ac525f73dbd5116722c2ca6f552 | |
tree | 1d952757b292746837650816add39378250d7952 | tree | snapshot |
parent | 5388b96750d501a187a961b802e4b2c533f093c3 | commit | diff |
helm/ocaml/cic_proof_checking/cicElim.ml | diff | blob | history |