]>
author | Enrico Tassi <enrico.tassi@inria.fr> | |
Tue, 21 Mar 2006 09:00:58 +0000 (09:00 +0000) | ||
committer | Enrico Tassi <enrico.tassi@inria.fr> | |
Tue, 21 Mar 2006 09:00:58 +0000 (09:00 +0000) | ||
commit | da3ccf9b26b4b28c968b963d8718dbca4a4f5240 | |
tree | 1578525a237fe818f3a1f0d27325299478cd3b51 | tree | snapshot |
parent | 01dc671e722e9147ae5b3518b0ebcbf86908fd47 | commit | diff |
helm/software/matita/tests/bool.ma | diff | blob | history |