]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda/labelled_hap_reduction.ma
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fd0e4ca) | patch
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
tree393a721883f0a132d57d3a06eed7b361ebd0b8e6tree | snapshot
parentfd0e4ca5e7994d02b0cf923b14969a79f1287dcccommit | diff
we simplified our proof of standardization
by removing Kashima's "hap" computation
matita/matita/contribs/lambda/labelled_hap_computation.ma [deleted file] blob | history
matita/matita/contribs/lambda/labelled_hap_reduction.ma [deleted file] blob | history
matita/matita/contribs/lambda/pointer_sequence.ma diff | blob | history
matita/matita/contribs/lambda/st_computation.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.