]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7f7524c) | patch
- nat.ma: cut removed from f_ind :)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 20 Dec 2012 14:52:58 +0000 (14:52 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 20 Dec 2012 14:52:58 +0000 (14:52 +0000)
commit07f64a04ac6061c853d2e60237a7173968c6d759
treef833ae47a663ddd6e0bb99b63e0a18eb64452dcdtree | snapshot
parent7f7524c504c3c66e572bfba90b31ddd9247ff4b5commit | diff
- nat.ma: cut removed from f_ind :)
- lanbda: some refactoring
matita/matita/contribs/lambda/labelled_sequential_computation.ma diff | blob | history
matita/matita/contribs/lambda/pointer_list.ma [new file with mode: 0644] blob
matita/matita/contribs/lambda/pointer_sequence.ma [deleted file] blob | history
matita/matita/contribs/lambda/pointer_tree.ma diff | blob | history
matita/matita/contribs/lambda/st_computation.ma diff | blob | history
matita/matita/lib/arithmetics/nat.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.