]>
author | Enrico Tassi <enrico.tassi@inria.fr> | |
Mon, 13 Mar 2006 12:48:17 +0000 (12:48 +0000) | ||
committer | Enrico Tassi <enrico.tassi@inria.fr> | |
Mon, 13 Mar 2006 12:48:17 +0000 (12:48 +0000) | ||
commit | 894e5d5d77b474d98c3106533d62e4e5b15f3d93 | |
tree | e70dbf0907c1aa3212ed1569553f80c6751ec100 | tree | snapshot |
parent | 5cb95a2e44f979183a8c3e39baa3b4e7cfaf8182 | commit | diff |
matita/matitaclean.ml | diff | blob | history |