]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4bb6799) | patch
- we introduced the pointer_step rc in the perspective of proving
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 23 Dec 2012 15:02:32 +0000 (15:02 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 23 Dec 2012 15:02:32 +0000 (15:02 +0000)
commitbde429ac54e48de74b3d8b1df72dfcb86aa9bae5
tree8c0faf7c3af3231fe33c798050d1147676f69ef9tree | snapshot
parent4bb6799d029b7b377f7aa28b0e90f0a69c149a9ccommit | diff
- we introduced the pointer_step rc in the perspective of proving
results on head normal forms
- some renaming
matita/matita/contribs/lambda/labeled_sequential_computation.ma [new file with mode: 0644] blob
matita/matita/contribs/lambda/labeled_sequential_reduction.ma [new file with mode: 0644] blob
matita/matita/contribs/lambda/labelled_sequential_computation.ma [deleted file] blob | history
matita/matita/contribs/lambda/labelled_sequential_reduction.ma [deleted file] blob | history
matita/matita/contribs/lambda/parallel_reduction.ma diff | blob | history
matita/matita/contribs/lambda/pointer.ma diff | blob | history
matita/matita/contribs/lambda/pointer_list.ma diff | blob | history
matita/matita/contribs/lambda/pointer_order.ma diff | blob | history
matita/matita/contribs/lambda/st_computation.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.