Translated components
Updated components
latex template
Notes on Classical B models
Updated file