| Mon, 29 Jan 1996 13:58:15 +0100 | clasohm | expanded tabs | file | diff | annotate |
| Fri, 25 Nov 1994 00:00:35 +0100 | lcp | prove_fun: new; no longer depends upon the version in simpdata.ML | file | diff | annotate |
| Mon, 31 Oct 1994 15:49:58 +0100 | lcp | Miniscope conversoin; example of formula rewriting | file | diff | annotate |