]>
author | Andrea Asperti <andrea.asperti@unibo.it> | |
Fri, 23 Sep 2005 10:16:28 +0000 (10:16 +0000) | ||
committer | Andrea Asperti <andrea.asperti@unibo.it> | |
Fri, 23 Sep 2005 10:16:28 +0000 (10:16 +0000) | ||
commit | 27bd932eeab546b36d2750bd6f4d047ebf2964f6 | |
tree | 4671cb1f8e5cc799452fddd4de83c8c48fbdaa4c | tree | snapshot |
parent | 675c9cf70d8537d70675b5520ca708fe75c67aed | commit | diff |
helm/matita/library/nat/log.ma | [deleted file] | blob | history |
helm/matita/library/nat/ord.ma | [new file with mode: 0644] | blob |