]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda/st_computation.ma
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2e70062) | patch
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
tree898b1a358495d073bcfd97e4f7157f46f574406ftree | snapshot
parent2e700622e2565c6695e8c1264dd4c1207896f28ccommit | diff
some renaming ...
matita/matita/contribs/lambda/pointer.ma diff | blob | history
matita/matita/contribs/lambda/pointer_list.ma diff | blob | history
matita/matita/contribs/lambda/pointer_list_standard.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.