new thoerem Always_Follows2; renamed Always_Follows -> Always_Follows1
new thoerem Always_Follows2; renamed Always_Follows -> Always_Follows1

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