List_More

Pi_Regular_Set

Pi_Regular_Exp

Pi_Derivatives

Pi_Regular_Operators

Pi_Regular_Exp_Dual

Pi_Equivalence_Checking

Init_Normalization

PNormalization

Formula

M2L

M2L_Normalization

M2L_Equivalence_Checking

WS1S

WS1S_Normalization

WS1S_Equivalence_Checking

M2L_Examples

WS1S_Examples