]>
author | Enrico Tassi <enrico.tassi@inria.fr> | |
Mon, 12 Nov 2007 15:22:59 +0000 (15:22 +0000) | ||
committer | Enrico Tassi <enrico.tassi@inria.fr> | |
Mon, 12 Nov 2007 15:22:59 +0000 (15:22 +0000) | ||
commit | b307b6879e5b07fccb8cd0927e5a753f9ca22d6c | |
tree | f15fd2b24488db057e9172c75e3e11daed66e90c | tree | snapshot |
parent | 80ce2b7d10578bf19408c9d98dd287a5b9d9c982 | commit | diff |
matita/dama/constructive_higher_order_relations.ma | [new file with mode: 0644] | blob |