| Thu, 28 Apr 2005 21:36:25 +0200 | wenzelm | make symlink handling compatible with whitespaces | changeset | files |
| Thu, 28 Apr 2005 21:36:08 +0200 | wenzelm | sane interfaces for tactical instance proofs (do not expand defs of theory, proper handling of sort instances); | changeset | files |
| 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 |