]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b0488ce) | 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)
commita164faf27d1f9b910a39b19025f110f4738bead7
tree4b55de39c049886b70728115d09de133afc149f3tree | snapshot
parentb0488cec66ab5dc904b895516474b83a00ac2153commit | diff
ok up to pr3
12 files changed:
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/props.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/iso.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/pr1.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/pr3.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/subst1.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/wcpr0.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/theory.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/fwd.ma [new file with mode: 0644] blob
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.