]>
author | Andrea Asperti <andrea.asperti@unibo.it> | |
Mon, 20 Mar 2006 16:32:32 +0000 (16:32 +0000) | ||
committer | Andrea Asperti <andrea.asperti@unibo.it> | |
Mon, 20 Mar 2006 16:32:32 +0000 (16:32 +0000) | ||
commit | c6c735136c2fe236c6b7284e7b768d87c96a4537 | |
tree | ca7de0658f6476091e661f6a1aec1cc3ef895ec0 | tree | snapshot |
parent | 1ee0d0a83d120d1c38b0018af1c942fe2da1e21c | commit | diff |
helm/software/matita/tests/SK.ma | [deleted file] | blob | history |
helm/software/matita/tests/bool.ma | [new file with mode: 0644] | blob |