]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2ee1d9b) | patch
strongly normalizing terms for big-tree reduction are now defined ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 14 Oct 2013 19:38:22 +0000 (19:38 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 14 Oct 2013 19:38:22 +0000 (19:38 +0000)
commitf418a6f9fe878f17a2c7afa0d13a361cce140694
tree8eacf8cfc45055a049b1f8aaf8b782d68f5a09aetree | snapshot
parent2ee1d9b1e0589aea7c5ca39a4b2a208b47f6463ecommit | diff
strongly normalizing terms for big-tree reduction are now defined ...
matita/matita/contribs/lambdadelta/basic_2/computation/fpbg.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/computation/fsb.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/btsn_5.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/btsnalt_5.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/reduction/fpbc.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/fqu.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/arith.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.