]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda/st_computation.ma
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
tree6e3d12fcdb375a9fe4a453ca196880786adef580
parent80cb637c1470b71145d3329d74148a1cfc873e3f
we started Kashima's proof of standardization
matita/matita/contribs/lambda/hap_computation.ma [new file with mode: 0644]
matita/matita/contribs/lambda/hap_reduction.ma [new file with mode: 0644]
matita/matita/contribs/lambda/labelled_sequential_reduction.ma
matita/matita/contribs/lambda/policy.txt
matita/matita/contribs/lambda/preamble.ma
matita/matita/contribs/lambda/redex_pointer.ma
matita/matita/contribs/lambda/redex_pointer_sequence.ma
matita/matita/contribs/lambda/st_computation.ma [new file with mode: 0644]