]> matita.cs.unibo.it Git - helm.git/commit
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
treefbc2e9b6ec50d976bc477f72b08b21f8712d1237
parent2701c980f48541dd5e8317b5a5661b439ced8b29
test for deep subsumption added
helm/software/matita/tests/subsumption.ma [new file with mode: 0644]