]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 23e75eb) | patch
- 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
treee1432479f06a4ca96930a0604dbc16983fe56e6ftree | snapshot
parent23e75ebc00553e178e090ca1373ac075ee650a60commit | diff
- lambda: first half of the standardization theorem is proved!
matita/matita/contribs/lambda/labelled_hap_computation.ma diff | blob | history
matita/matita/contribs/lambda/labelled_hap_reduction.ma diff | blob | history
matita/matita/contribs/lambda/labelled_sequential_computation.ma diff | blob | history
matita/matita/contribs/lambda/pointer.ma diff | blob | history
matita/matita/contribs/lambda/pointer_order.ma diff | blob | history
matita/matita/contribs/lambda/pointer_sequence.ma diff | blob | history
matita/matita/contribs/lambda/st_computation.ma diff | blob | history
matita/matita/lib/basics/lists/lstar.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.