Drule.GEN_ALL : thm -> thm
A |- t ------------------ GEN_ALL A |- !x1...xn. t
WARNING: hol90 GEN_ALL does not always return the same result as GEN_ALL in hol88. Sometimes people write code that depends on the order of the quantification. They shouldn't.