Sun, 13 Apr 1997 19:15:07 +0200 | wenzelm | GENERATED TEXT; | file | diff | annotate |
Sun, 13 Apr 1997 19:11:32 +0200 | wenzelm | GENERATED TEXT; | file | diff | annotate |
Fri, 07 Mar 1997 15:32:16 +0100 | wenzelm | removed lparr, rparr, empty, succeq, ge, rrightarrow; | file | diff | annotate |
Fri, 21 Feb 1997 16:35:49 +0100 | wenzelm | replaced natural by subset; | file | diff | annotate |
Mon, 16 Dec 1996 16:06:56 +0100 | wenzelm | fixed Title; | file | diff | annotate |
Mon, 16 Dec 1996 15:45:02 +0100 | oheimb | added consistency comment | file | diff | annotate |
Mon, 16 Dec 1996 09:57:18 +0100 | wenzelm | renamed from symbol_input.pl; | file | diff | annotate |