| 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 |
| Fri, 16 Apr 2004 10:23:47 +0200 | kleing | say how to install PG and poly | changeset | files |
| Fri, 16 Apr 2004 10:21:06 +0200 | kleing | fix cvs id | changeset | files |
| Fri, 16 Apr 2004 10:20:34 +0200 | kleing | describe how to work on Isabelle repository version | changeset | files |
| Fri, 16 Apr 2004 09:27:32 +0200 | kleing | make weblint happy | changeset | files |
| Fri, 16 Apr 2004 09:01:55 +0200 | kleing | updated, tuned | changeset | files |