| Fri, 10 Oct 1997 15:52:12 +0200 | wenzelm | fixed dots; | file | diff | annotate |
| Sat, 15 Feb 1997 17:44:10 +0100 | oheimb | updated mini_ss | file | diff | annotate |
| Thu, 05 Sep 1996 18:28:54 +0200 | paulson | Some renaming. Note that this miniscoping is more | file | diff | annotate |
| 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 |