Changes between Version 1 and Version 2 of RemovalCandidates


Ignore:
Timestamp:
Nov 29, 2005 10:08:19 AM (8 years ago)
Author:
simonmar@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • RemovalCandidates

    v1 v2  
    11 * n + k patterns 
     2 
     3 * ~ patterns 
     4 
     5 * the monomorphism restriction