]> matita.cs.unibo.it Git - helm.git/commit
some renaming ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 21 Dec 2012 18:12:41 +0000 (18:12 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 21 Dec 2012 18:12:41 +0000 (18:12 +0000)
commit4bb6799d029b7b377f7aa28b0e90f0a69c149a9c
tree898b1a358495d073bcfd97e4f7157f46f574406f
parent2e700622e2565c6695e8c1264dd4c1207896f28c
some renaming ...
matita/matita/contribs/lambda/pointer.ma
matita/matita/contribs/lambda/pointer_list.ma
matita/matita/contribs/lambda/pointer_list_standard.ma
matita/matita/contribs/lambda/pointer_order.ma
matita/matita/contribs/lambda/st_computation.ma