]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda/st_computation.ma
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 80cb637) | patch
we started Kashima's proof of standardization
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 4 Dec 2012 17:59:17 +0000 (17:59 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 4 Dec 2012 17:59:17 +0000 (17:59 +0000)
commit984f552a6b54e8b870d6e32df8325345d0f1ea5b
tree6e3d12fcdb375a9fe4a453ca196880786adef580tree | snapshot
parent80cb637c1470b71145d3329d74148a1cfc873e3fcommit | diff
we started Kashima's proof of standardization
matita/matita/contribs/lambda/hap_computation.ma [new file with mode: 0644] blob
matita/matita/contribs/lambda/hap_reduction.ma [new file with mode: 0644] blob
matita/matita/contribs/lambda/labelled_sequential_reduction.ma diff | blob | history
matita/matita/contribs/lambda/policy.txt diff | blob | history
matita/matita/contribs/lambda/preamble.ma diff | blob | history
matita/matita/contribs/lambda/redex_pointer.ma diff | blob | history
matita/matita/contribs/lambda/redex_pointer_sequence.ma diff | blob | history
matita/matita/contribs/lambda/st_computation.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.