| Tue, 04 Nov 1997 14:40:29 +0100 | oheimb | * removed "axioms" and "generated by" section | file | diff | annotate |
| Thu, 30 Oct 1997 14:19:01 +0100 | oheimb | domain package: | file | diff | annotate |
| Mon, 27 Oct 1997 11:34:33 +0100 | oheimb | adapted domain and ax_ops package for name spaces | file | diff | annotate |
| Thu, 02 Oct 1997 22:54:00 +0200 | wenzelm | fully qualified names: Theory.add_XXX; | file | diff | annotate |
| Mon, 17 Feb 1997 11:01:10 +0100 | slotosch | using types one = unit lift and translations causes troubles between | file | diff | annotate |
| Thu, 19 Dec 1996 17:02:27 +0100 | oheimb | corrected headers | file | diff | annotate |
| Wed, 03 Apr 1996 19:27:14 +0200 | oheimb | Updated: 01-Mar-96 when functional strictified, copy_def based on when_def | file | diff | annotate |
| Tue, 30 Jan 1996 13:42:57 +0100 | clasohm | expanded tabs | file | diff | annotate |
| Fri, 06 Oct 1995 17:25:24 +0100 | regensbu | added 8bit pragmas | file | diff | annotate |