]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a8052b7) | patch
some reorganization and some corrections
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 15 Jul 2005 18:18:13 +0000 (18:18 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 15 Jul 2005 18:18:13 +0000 (18:18 +0000)
commit1ea21db6644417e6cd3c44c84915712a5321a37a
tree2900c5670e31a444d7ffe2fa2607722903b94ffftree | snapshot
parenta8052b7482d5573eca2776ea11cb7a4b06236fbdcommit | diff
some reorganization and some corrections
helm/coq-contribs/LAMBDA-TYPES/cpr0_props.v [deleted file] blob | history
helm/coq-contribs/LAMBDA-TYPES/fsubst0_defs.v [new file with mode: 0644] blob
helm/coq-contribs/LAMBDA-TYPES/pr3_props.v diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.