]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 76000ef) | patch
some more tests
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 6 Jul 2005 15:46:38 +0000 (15:46 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 6 Jul 2005 15:46:38 +0000 (15:46 +0000)
commit90f9b69fa2c7742722f5a5e72361638a39951aaf
treed4982f42913983b1cd3c160ab0722325dd78d4ddtree | snapshot
parent76000efbc771b53f15a502d558a5b7b0297c9c6bcommit | diff
some more tests
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
Unnamed repository; edit this file 'description' to name the repository.