Deleted Olist constructor.  Replaced minidx by "above" function
Deleted Olist constructor.  Replaced minidx by "above" function

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