My umpteenth attempt to commit the method metisFT, a fully-typed version of metis
My umpteenth attempt to commit the method metisFT, a fully-typed version of metis

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle