After the beef has been in a little over an hour, get all your veg chopped and ready. Start cooking the onion in some butter for about 6-7 minutes. Add the carrot and celery next and cook another 5 minutes. Add the cabbage and cook 7-8 minutes. Add in the garlic and cook for 3 minutes. Add in the thyme and coriander and cook 2 minutes. Add the stock. Take the beef out of the oven and pour the whole contents into the pot. Simmer until the beef is tender, another half hour to an hour. Fish the beef out of the pot and shred it before adding it back in.