| Thu, 28 Apr 2005 21:35:47 +0200 | wenzelm | added plain_prop_of; | changeset | files |
| 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 |
| Thu, 28 Apr 2005 12:04:34 +0200 | kleing | more on rev | changeset | files |
| Thu, 28 Apr 2005 12:02:49 +0200 | kleing | intersection | changeset | files |
| Thu, 28 Apr 2005 09:21:35 +0200 | kleing | more about list_update | changeset | files |