renamed theorem "apfst" to "apfst_conv" to avoid conflict with function apfst from Pure/library.ML
renamed theorem "apfst" to "apfst_conv" to avoid conflict with function
apfst from Pure/library.ML

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