]>
author | Stefano Zacchiroli <zack@upsilon.cc> | |
Wed, 21 Sep 2005 14:39:50 +0000 (14:39 +0000) | ||
committer | Stefano Zacchiroli <zack@upsilon.cc> | |
Wed, 21 Sep 2005 14:39:50 +0000 (14:39 +0000) | ||
commit | 9adc60caf3223c659d8b64228e90c25cc8d76530 | |
tree | 19255a5d4480f481008a95dfef4388ac853e4346 | tree | snapshot |
parent | 71adb7c2f7f84e6bfe523cf066a65cc14cc9217b | commit | diff |
helm/matita/library/list/list.ma | diff | blob | history |