Revision as of 08:18, 22 November 2021 by Admin (talk | contribs) (1 revision imported)(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)Why did you undo the link names on the Isabelle page? Yours are wrong.<ac_metadata title="Link names"> </ac_metadata>
