]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f110058) | patch
Never ported to new syntax.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 16 Nov 2011 16:56:10 +0000 (16:56 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 16 Nov 2011 16:56:10 +0000 (16:56 +0000)
commit9f339b4b34e47c5ae7580512e4a1b1c50a152c0f
tree8d419708b7e1493cfcc36534dfcc70a0d54af651tree | snapshot
parentf110058b4445285a17447ca46211259349764c84commit | diff
Never ported to new syntax.
matita/matita/lib/basics/list2.ma [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.