Updated theory Bmethod with recent changes. Fixed errors in text (Simulation.thy).