| Fri, 28 Apr 2006 15:58:30 +0200 | berghofe | Capitalized theory names. | file | diff | annotate |
| Thu, 02 Mar 2006 15:05:09 +0100 | urbanc | split the files | file | diff | annotate |
| Wed, 01 Mar 2006 10:37:00 +0100 | urbanc | some small tunings | file | diff | annotate |
| Mon, 23 Jan 2006 15:14:06 +0100 | urbanc | made change for ex1 | file | diff | annotate |
| Wed, 11 Jan 2006 18:38:32 +0100 | urbanc | changes to make use of the new induction principle proved by | file | diff | annotate |
| Wed, 07 Dec 2005 12:33:38 +0100 | urbanc | tuned | file | diff | annotate |
| Sun, 04 Dec 2005 12:25:57 +0100 | urbanc | tuned | file | diff | annotate |