]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bea50d8) | patch
Two Meta occurrences where a parameter is accessible only in one of them
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 21 May 2002 15:24:22 +0000 (15:24 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 21 May 2002 15:24:22 +0000 (15:24 +0000)
commitf82a5324071bc1b8fc5c9ea95ba03e40801c74ed
tree401144f6b1a1c9aa57011233e6c2c0440df03309tree | snapshot
parentbea50d8a7fdf4063d8bf42d2983734190457e030commit | diff
Two Meta occurrences where a parameter is accessible only in one of them
can now be considered convertible.
helm/ocaml/cic_proof_checking/cicReductionNaif.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.