Q:\FP\GUIDE.TXT           2002 August 15

Guide to the FP groups.

FP\1:   translations of Quaife's membership theorems about diag.
        This group could follow the ID\2 group.

FP\2:   elementary examples.
        This group can follow the DI group.

FP\3:   fix preserves all Boolean operations.
        This group can follow the FP\2 group.

FP\4:   fix, inverse and cartesian products
        This group can follow the FP\3 group.

FP\5:   fix and composite: translations of Quaife's theorems
        This group can follow the IDX\2 group.

FP\6:   fix and composite: other theorems
        This group can follow the FP\5 group.

FP\SR:  fix and S
        This group can follow the FP\6 group.

FP\DJ:  fix and disjoint
        This group can follow the FP\SR group.

FP\IM:  some theorems discovered using the GOEDEL program in April 1998
        This group can follow the FP\DJ group.

FP\UB:  some theorems about upper bounds proved in June 2001
        This group can follow the FP\IM group.

FP\FU:  fix and functions  
        This group can follow the SG groups.