]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Tue, 17 Jan 2006 16:49:04 +0000 (16:49 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Tue, 17 Jan 2006 16:49:04 +0000 (16:49 +0000) | ||
commit | f1dc70ca55058b2983cd23b829d856df3b41b9a7 | |
tree | f1d19ede33591ccdb2bd712d48d7a0beac9bb800 | tree | snapshot |
parent | 92d309b1cad63ffc1608482a966a6d0af0a51c8e | commit | diff |
helm/ocaml/cic_proof_checking/cicSubstitution.ml | diff | blob | history |