Thu, 08 Jan 1998 18:03:36 +0100 | oheimb | streamlined specification of included theories | file | diff | annotate |
Fri, 25 Apr 1997 15:33:19 +0200 | slotosch | used explcite tactics in instances (since ax_per_trans "loops") | file | diff | annotate |
Fri, 04 Apr 1997 16:01:14 +0200 | slotosch | (partial) equivalecne relations. classes er<per | file | diff | annotate |