]>
author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
Thu, 30 Nov 2006 16:35:04 +0000 (16:35 +0000) | ||
committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
Thu, 30 Nov 2006 16:35:04 +0000 (16:35 +0000) | ||
commit | 94b16d13221f5ea3618b453e5f86b787d04d664e | |
tree | d1ac7f7c7e7587fb1fd2691d8285390e9ce67fc6 | tree | snapshot |
parent | 16b9c591af0d9a188a916140e5fcd2b58805277f | commit | diff |
helm/software/matita/library/Fsub/defn.ma | diff | blob | history |