remove Set, List, Map classes

Testing build first.
Only because this was Liyi's code originally... I can change it if you
want, but is it that big a deal?


On Mon, Jun 23, 2014 at 11:31 AM, Andrei Stefanescu <
notifications@github.com> wrote:

> In src/javasources/KTool/src/org/kframework/kil/DataStructureBuiltin.java:
>
> > @@ -303,4 +304,21 @@ public boolean equals(Object object) {
> >              throw new AssertionError("unexpected child type " + type.name());
> >          }
> >      }
> > +
> > +    public abstract Term toKApp(Context context);
> > +
> > +    public Term toKApp(List<Term> items) {
> > +        if(items.size()==0){
>
> any reason you are saving spaces around ==?
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/kframework/k/pull/643/files#r14084483>.
>