]>
author | Enrico Tassi <enrico.tassi@inria.fr> | |
Wed, 6 Jul 2005 15:46:38 +0000 (15:46 +0000) | ||
committer | Enrico Tassi <enrico.tassi@inria.fr> | |
Wed, 6 Jul 2005 15:46:38 +0000 (15:46 +0000) | ||
commit | 90f9b69fa2c7742722f5a5e72361638a39951aaf | |
tree | d4982f42913983b1cd3c160ab0722325dd78d4dd | tree | snapshot |
parent | 76000efbc771b53f15a502d558a5b7b0297c9c6b | commit | diff |
helm/matita/tests/clear.ma | [new file with mode: 0644] | blob |
helm/matita/tests/contradiction.ma | [new file with mode: 0644] | blob |
helm/matita/tests/cut.ma | [new file with mode: 0644] | blob |
helm/matita/tests/decompose.ma | [new file with mode: 0644] | blob |
helm/matita/tests/discriminate.ma | [new file with mode: 0644] | blob |