Function Max_Df-Dfa

Part of:

package lisplab
( max_df-dfa < a > < b > < c > )