]>
author | Enrico Tassi <enrico.tassi@inria.fr> | |
Sat, 8 Sep 2007 17:21:58 +0000 (17:21 +0000) | ||
committer | Enrico Tassi <enrico.tassi@inria.fr> | |
Sat, 8 Sep 2007 17:21:58 +0000 (17:21 +0000) | ||
commit | 35525e5acd7854210e2a1bbba07a4909117029ac | |
tree | 87c2f66abbe7cd43d37deb63d69f199d757e192a | tree | snapshot |
parent | 24f99e747a9bfea3df90227e4b98082e4ad4dcae | commit | diff |
matita/tests/coercions_russell.ma | diff | blob | history |