]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b88d14) | patch
commit by user andrea
authormatitaweb <claudio.sacerdoticoen@unibo.it>
Tue, 15 Nov 2011 14:11:45 +0000 (14:11 +0000)
committermatitaweb <claudio.sacerdoticoen@unibo.it>
Tue, 15 Nov 2011 14:11:45 +0000 (14:11 +0000)
commitb8a719bbb47d12e0a6b2c8cb2e5e26a2bf360be1
tree97b5d9cbfba7402abc3cb3b801f56e0f5a74d344tree | snapshot
parent3b88d145e26b75f54ac6271a196c1ef315376123commit | diff
commit by user andrea
weblib/Cerco/ASM/JMCoercions.ma diff | blob | history
weblib/Cerco/ASM/Utils.ma diff | blob | history
weblib/Cerco/utilities/pair.ma [new file with mode: 0644] blob
weblib/Cerco/utilities/pair.ma.mad [new file with mode: 0644] blob
weblib/basics/list.ma diff | blob | history
weblib/basics/list2.ma diff | blob | history
weblib/tutorial/chapter3.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.