*** MESSAGE REFERS TO PREVIOUS VERSION *** added datatype interval, improved thm selections;
*** MESSAGE REFERS TO PREVIOUS VERSION ***
added datatype interval, improved thm selections;

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