Once the vegetables are soft, add the garlic and cook for 1 min. Add the beef shin, chopped tomatoes, bay leaf, thyme, tomato puree and beef stock. Make sure the beef shin is covered. If using a pressure cooker close the lid and cook for approximate 1 hour. If using a casserole, cook on low heat 2-3 hours. The meat should be soft and falling apart.