public static List makePlPropositions(List propositions, Module module, boolean isrule) {
    { List result = List.newList();

      { Proposition proposition = null;
        Cons iter000 = propositions.theConsList;
        Cons collect000 = null;

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          proposition = ((Proposition)(iter000.value));
          if (collect000 == null) {
            {
              collect000 = Cons.cons(GuiServer.makePlProposition(proposition, module, isrule), Stella.NIL);
              if (result.theConsList == Stella.NIL) {
                result.theConsList = collect000;
              }
              else {
                Cons.addConsToEndOfConsList(result.theConsList, collect000);
              }
            }
          }
          else {
            {
              collect000.rest = Cons.cons(GuiServer.makePlProposition(proposition, module, isrule), Stella.NIL);
              collect000 = collect000.rest;
            }
          }
        }
      }
      return (result);
    }
  }