Wed, 30 Dec 2015 20:24:43 +0100 | wenzelm | more symbols; | file | diff | annotate |
Wed, 14 Nov 2001 23:15:19 +0100 | wenzelm | tuned; | file | diff | annotate |
Sat, 03 Feb 2001 17:40:16 +0100 | wenzelm | Induct: converted some theories to new-style format; | file | diff | annotate |