| Fri, 16 Apr 2004 18:40:21 +0200 | berghofe | Moved symbol.ML to front of file list (due to quote function). | changeset | files |
| Fri, 16 Apr 2004 18:30:51 +0200 | obua | first version of matrices for HOL/Isabelle | changeset | files |
| 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 |
| Fri, 16 Apr 2004 08:17:19 +0200 | nipkow | *** empty log message *** | changeset | files |
| Fri, 16 Apr 2004 04:09:53 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 16 Apr 2004 04:08:29 +0200 | wenzelm | session graph; | changeset | files |
| Fri, 16 Apr 2004 04:07:10 +0200 | wenzelm | tuned document; | changeset | files |
| Fri, 16 Apr 2004 04:06:52 +0200 | kleing | add feature list | changeset | files |
| Fri, 16 Apr 2004 04:06:25 +0200 | kleing | add faq | changeset | files |
| Fri, 16 Apr 2004 04:05:51 +0200 | kleing | add link to FAQ | changeset | files |
| Fri, 16 Apr 2004 04:05:31 +0200 | kleing | add Isabelle2003 to archive | changeset | files |
| Thu, 15 Apr 2004 20:32:33 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 15 Apr 2004 20:31:30 +0200 | wenzelm | fixed width; | changeset | files |