| Wed, 21 May 1997 10:53:02 +0200 | paulson | Removed rprod from the WF relation; simplified proofs; | file | diff | annotate |
| Tue, 20 May 1997 11:42:59 +0200 | paulson | Removal of duplicate code from TFL | file | diff | annotate |
| Fri, 16 May 1997 13:02:28 +0200 | oheimb | renamed unsafe_addss to addss | file | diff | annotate |
| Thu, 15 May 1997 12:40:01 +0200 | paulson | New version, modified by Konrad Slind and LCP for TFL | file | diff | annotate |