]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 20d9c44) | patch
Added a property.
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 16 Mar 2009 12:39:54 +0000 (12:39 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 16 Mar 2009 12:39:54 +0000 (12:39 +0000)
commitdf9feb8fadb3b35ddc8bd899234d8a0320d29a17
treeb12ce7f5f064c66c6d362ac3c546d9fc51210d4btree | snapshot
parent20d9c447551de9c81e1658b85fe3c1728cf92eebcommit | diff
Added a property.
helm/software/matita/library/nat/times.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.