]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 653a735) | patch
ok up to pr3
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 13 Sep 2006 16:47:31 +0000 (16:47 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 13 Sep 2006 16:47:31 +0000 (16:47 +0000)
commit5412a7f12ed2034b4dfb6104440a2308d6a6e8e1
tree34a10521e180f716d0e2b48e619820aa7b625310tree | snapshot
parent653a735db215959b13d15f6774b8a07b9275e6a0commit | diff
ok up to pr3
12 files changed:
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/props.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/fwd.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/iso.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/pr1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/pr3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/props.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/subst1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/wcpr0.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/theory.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/defs.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/fwd.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/getl.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.