| Fri, 16 Apr 2004 15:46:50 +0200 | mehta | lemma drop_Suc_conv_tl added. | changeset | files |
| Fri, 16 Apr 2004 13:52:43 +0200 | wenzelm | simplified ML code for setsubgoaler; | changeset | files |
| Fri, 16 Apr 2004 13:51:04 +0200 | wenzelm | tuned document; | changeset | files |
| Fri, 16 Apr 2004 12:09:31 +0200 | kleing | add locales | changeset | files |