git commit -am
Merge branch 'master' of https://github.com/kai33/Proj_CICMS
Fixed List_ADT clashes, again! (isempty at all places)