]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a6f4f8c) | patch
Modified lambda and explicit substitutions.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 3 Feb 2006 15:08:24 +0000 (15:08 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 3 Feb 2006 15:08:24 +0000 (15:08 +0000)
commit8304a104ea201db83bbe82430cbb29dd495dab10
treefcf701720abc06268fe6ca9d68c7e733fc9ed2ebtree | snapshot
parenta6f4f8cf8a6b008b7df2c585b04ce27c7be3cc93commit | diff
Modified lambda and explicit substitutions.
helm/ocaml/cic_proof_checking/cicPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.