]>
author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
Thu, 13 Oct 2005 14:22:08 +0000 (14:22 +0000) | ||
committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
Thu, 13 Oct 2005 14:22:08 +0000 (14:22 +0000) | ||
commit | a6378eaf623f898f8cbea4381a1ea7132146c8c2 | |
tree | 6df093d45af7bfd7573a549b18d312c1bde77faf | tree | snapshot |
parent | 79a621a91ddda24398a804ff7677b5210b55f66f | commit | diff |
helm/matita/contribs/PREDICATIVE-TOPOLOGY/ac_defs.ma | diff | blob | history |