]> matita.cs.unibo.it Git - helm.git/commit
basic_1: COMMIT COMPLETED
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 5 Mar 2015 15:24:14 +0000 (15:24 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 5 Mar 2015 15:24:14 +0000 (15:24 +0000)
commit7efd72a7efa0e709d6395b2020a7995f7d3a2f89
tree54f1ae63de3476cdc0309e766af8a2557c5d21c7
parent10c836687dfdf9d23357d7423cfc535e817d843f
basic_1: COMMIT COMPLETED
- component wf3
- additional files
basic_2: some corrections
matita/matita/contribs/lambdadelta/basic_1/definitions.ma
matita/matita/contribs/lambdadelta/basic_1/planes.txt [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1/spare.ma
matita/matita/contribs/lambdadelta/basic_1/theory.ma
matita/matita/contribs/lambdadelta/basic_1/wf3/clear.ma
matita/matita/contribs/lambdadelta/basic_1/wf3/defs.ma
matita/matita/contribs/lambdadelta/basic_1/wf3/fwd.ma
matita/matita/contribs/lambdadelta/basic_1/wf3/getl.ma
matita/matita/contribs/lambdadelta/basic_1/wf3/props.ma
matita/matita/contribs/lambdadelta/basic_1/wf3/ty3.ma
matita/matita/contribs/lambdadelta/basic_2/basic_1.txt