]> matita.cs.unibo.it Git - helm.git/commit
we simplified our proof of standardization
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 19 Dec 2012 15:52:59 +0000 (15:52 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 19 Dec 2012 15:52:59 +0000 (15:52 +0000)
commit0f7cb2f3a7b1b46a049d371bb40eb5a79881f064
tree393a721883f0a132d57d3a06eed7b361ebd0b8e6
parentfd0e4ca5e7994d02b0cf923b14969a79f1287dcc
we simplified our proof of standardization
by removing Kashima's "hap" computation
matita/matita/contribs/lambda/labelled_hap_computation.ma [deleted file]
matita/matita/contribs/lambda/labelled_hap_reduction.ma [deleted file]
matita/matita/contribs/lambda/pointer_sequence.ma
matita/matita/contribs/lambda/st_computation.ma