| Mon, 29 Jan 1996 13:58:15 +0100 | clasohm | expanded tabs | file | diff | annotate |
| Thu, 06 Apr 1995 11:04:37 +0200 | lcp | Updated comments. | file | diff | annotate |
| Fri, 11 Nov 1994 10:33:05 +0100 | lcp | FOL/intprover/safe_tac: now uses REPEAT_DETERM_FIRST instead of REPEAT_DETERM | file | diff | annotate |
| Thu, 16 Sep 1993 12:20:38 +0200 | clasohm | Initial revision | file | diff | annotate |