Library/Saturated.thy: 'Sat' abbreviates 'of_nat'
Library/Saturated.thy: 'Sat' abbreviates 'of_nat'

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