]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Mon, 26 Mar 2007 18:05:50 +0000 (18:05 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Mon, 26 Mar 2007 18:05:50 +0000 (18:05 +0000) | ||
commit | 37a375b59014cdfaa15f50e2a7bbed29871adb9b | |
tree | e43ae051871a0e1271d06b0905fa4d9efac1bd42 | tree | snapshot |
parent | 590854ef49fa6c6ce12a4e3cd2b480266b62f589 | commit | diff |
components/cic_proof_checking/cicReduction.ml | diff | blob | history |