Thu, 28 Apr 2005 21:35:25 +0200 | wenzelm | added smart_conjunction_tac, prove_multi, prove_multi_standard; | changeset | files |
Thu, 28 Apr 2005 17:57:13 +0200 | paulson | auto update | changeset | files |
Thu, 28 Apr 2005 17:56:58 +0200 | paulson | fixed treatment of higher-order simprules | changeset | files |
Thu, 28 Apr 2005 17:08:08 +0200 | bauerg | *** empty log message *** | changeset | files |