| 1996-09-26 | paulson | Ran expandshort; used stac instead of ssubst | file | diff | annotate |
| 1996-09-09 | paulson | These simpsets must not use miniscoping | file | diff | annotate |
| 1996-01-29 | clasohm | expanded tabs | file | diff | annotate |
| 1994-11-30 | clasohm | added qed and qed_goal[w] | file | diff | annotate |
| 1993-09-20 | lcp | Installation of new simplfier. Previously appeared to set up the old | file | diff | annotate |
| 1993-09-16 | clasohm | Initial revision | file | diff | annotate |