]> matita.cs.unibo.it Git - helm.git/commit
decompose now works without premises
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 21 Feb 2007 15:59:26 +0000 (15:59 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 21 Feb 2007 15:59:26 +0000 (15:59 +0000)
commit1936ff5bb1319f44919f1146140debc7f52f1cff
tree0fa3eeab8baf5a2404c0cd2609560cf7efe19e2d
parentcea3a50f515d1e39467073d2b447a9ddfa1a4852
decompose now works without premises
helm/software/matita/tests/decompose.ma
helm/software/matita/tests/fguidi.ma
helm/software/matita/tests/paramodulation/boolean_algebra.ma