]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda/st_computation.ma
- lambda: first half of the standardization theorem is proved!
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 9 Dec 2012 17:59:03 +0000 (17:59 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 9 Dec 2012 17:59:03 +0000 (17:59 +0000)
commit5613a25cee29ef32a597cb4b44e8f2f4d71c4df0
treee1432479f06a4ca96930a0604dbc16983fe56e6f
parent23e75ebc00553e178e090ca1373ac075ee650a60
- lambda: first half of the standardization theorem is proved!
matita/matita/contribs/lambda/labelled_hap_computation.ma
matita/matita/contribs/lambda/labelled_hap_reduction.ma
matita/matita/contribs/lambda/labelled_sequential_computation.ma
matita/matita/contribs/lambda/pointer.ma
matita/matita/contribs/lambda/pointer_order.ma
matita/matita/contribs/lambda/pointer_sequence.ma
matita/matita/contribs/lambda/st_computation.ma
matita/matita/lib/basics/lists/lstar.ma