]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: add325f) | patch
started the Proof Weight predicate for cut elimination and confluence
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 26 Sep 2007 17:35:28 +0000 (17:35 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 26 Sep 2007 17:35:28 +0000 (17:35 +0000)
commit72621f94886f59b8ff65f2bb7388f67308a2d959
tree5c5b5c172b0230dff70b842b82a683a9dddea386tree | snapshot
parentadd325fb02ab0e46a2c7bbffb2e9c980128f0f69commit | diff
started the Proof Weight predicate for cut elimination and confluence
helm/software/matita/contribs/LOGIC/PRed/defs.ma diff | blob | history
helm/software/matita/contribs/LOGIC/Track/pred.ma diff | blob | history
helm/software/matita/contribs/LOGIC/Weight/defs.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.