| Tue, 08 Nov 2005 15:26:35 +0100 | haftmann | allowing indentation of 'theory' keyword | file | diff | annotate |
| Wed, 06 Jul 2005 10:30:24 +0200 | wenzelm | changed file permissions; | file | diff | annotate |
| Mon, 20 Jun 2005 11:30:44 +0200 | haftmann | added fixheaders | file | diff | annotate |