Delete Eulerian.thy

Shouldn't be public :)