w:c:magical-camp>JackyHF (Created page with "Why did you undo the link names on the Isabelle page? Yours are wrong.<ac_metadata title="Link names"> </ac_metadata>") |
m (1 revision imported) |
(No difference)
|
Latest revision as of 08:18, 22 November 2021
Why did you undo the link names on the Isabelle page? Yours are wrong.<ac_metadata title="Link names"> </ac_metadata>