Isabelle references Synonyms

We can't find synonyms for the phrase "Isabelle references", but we have synonyms for terms, you can combine them.

Isabelle Synonyms

IR abbreviation

IR is an abbreviation for Isabelle References

What does IR stand for?

IR stands for "Isabelle References"