]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1850832) | patch
exported lift_from
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 5 Jan 2005 14:07:33 +0000 (14:07 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 5 Jan 2005 14:07:33 +0000 (14:07 +0000)
commit21d58727027699d8617a7faab912843756b585ed
treed8412ba50e40f3eaafac301228a50b92d69302fatree | snapshot
parent1850832c5f252cb6f79bce5184ccb9046a4057fbcommit | diff
exported lift_from
helm/ocaml/cic_proof_checking/cicSubstitution.ml diff | blob | history
helm/ocaml/cic_proof_checking/cicSubstitution.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.