
#ifndef MULTISETPUSHHEAPCLOSURE_H_INCLUDED
#define MULTISETPUSHHEAPCLOSURE_H_INCLUDED

#include "CountLemmas.h"
#include "MultisetAdd.h"
#include "MultisetMinus.h"
#include "MultisetUnchanged.h"
#include "MultisetRetainRest2.h"
#include "MultisetUnchangedLemmas.h"




#endif /* MULTISETPUSHHEAPCLOSURE_H_INCLUDED */

