Does anyone know how to prove this goal: ∀(p1,p1',p2). T
I’m not sure how I got it, and I can’t work out how to prove it, but it’s probably true :) Scott ------------------------------------------------------------------------------ _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
