| Fri, 16 Apr 2004 18:09:24 +0200 | berghofe | Added theory with examples for quickcheck command. | changeset | files |
| 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 |
| Fri, 16 Apr 2004 12:07:01 +0200 | ballarin | Zur Freude von Sebastian Skalberg! | changeset | files |
| Fri, 16 Apr 2004 11:35:44 +0200 | ballarin | Added Locales Tutorial. | changeset | files |