| Fri, 13 Dec 1996 18:45:58 +0100 | oheimb | adaptions for symbol font | file | diff | annotate |
| Wed, 20 Dec 1995 16:28:51 +0100 | regensbu | changed predicate flat to is_flat in theory Fix.thy | file | diff | annotate |
| Fri, 17 Nov 1995 13:22:50 +0100 | clasohm | HTML version of README | file | diff | annotate |