]> matita.cs.unibo.it Git - helm.git/commit
Commented an assertion.
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 27 Nov 2006 12:52:53 +0000 (12:52 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 27 Nov 2006 12:52:53 +0000 (12:52 +0000)
commit9a537a6b50c60cb80d0dcfb343bf6e68e035842c
tree4221d5c1539e09a901e4e6f3b47e7c55e71c992c
parentb4da5c84ca7fa4c028ef70875aa79cc7bc279ee9
Commented an assertion.
helm/software/components/tactics/paramodulation/founif.ml