]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 910b8e9) | patch
More stuff from CerCo to the standard library.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 14 Dec 2011 15:41:12 +0000 (15:41 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 14 Dec 2011 15:41:12 +0000 (15:41 +0000)
commit179aad29c98fcb78c8859e8a044e342b9259dd02
treee1ee7faba38fd36847085f5fc82f2b28f46d79fatree | snapshot
parent910b8e95135bfabb852c2e6d918ff50bdcb98d0acommit | diff
More stuff from CerCo to the standard library.
matita/matita/lib/basics/types.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.