LF ported to alpha_gen, equivp solved and one of the missing proofs in support<-> fv solved. Still some supp properties left.

no_document use_thys ["../Quot/QuotMain"];

use_thys ["Paper"];