]>
author | Andrea Asperti <andrea.asperti@unibo.it> | |
Fri, 26 Jun 2009 11:00:20 +0000 (11:00 +0000) | ||
committer | Andrea Asperti <andrea.asperti@unibo.it> | |
Fri, 26 Jun 2009 11:00:20 +0000 (11:00 +0000) | ||
commit | a023ee84b0efd8febff8bdd3cf7d92aa0317f12a | |
tree | fbc2e9b6ec50d976bc477f72b08b21f8712d1237 | tree | snapshot |
parent | 2701c980f48541dd5e8317b5a5661b439ced8b29 | commit | diff |
helm/software/matita/tests/subsumption.ma | [new file with mode: 0644] | blob |