]>
author | Enrico Tassi <enrico.tassi@inria.fr> | |
Mon, 12 Nov 2007 16:41:02 +0000 (16:41 +0000) | ||
committer | Enrico Tassi <enrico.tassi@inria.fr> | |
Mon, 12 Nov 2007 16:41:02 +0000 (16:41 +0000) | ||
commit | 3789c6cc5ad8d155f9907edb60ec2f953fb7f682 | |
tree | c77ac52ab7f39e7dedb40bb165f7c6fcff062abc | tree | snapshot |
parent | 26d9e33e8ee476a3e5c4571393b71dd96451ae55 | commit | diff |
matita/dama/ordered_sets.ma | [new file with mode: 0644] | blob |