]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2701c98) | patch
test for deep subsumption added
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 26 Jun 2009 11:00:20 +0000 (11:00 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 26 Jun 2009 11:00:20 +0000 (11:00 +0000)
commita023ee84b0efd8febff8bdd3cf7d92aa0317f12a
treefbc2e9b6ec50d976bc477f72b08b21f8712d1237tree | snapshot
parent2701c980f48541dd5e8317b5a5661b439ced8b29commit | diff
test for deep subsumption added
helm/software/matita/tests/subsumption.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.