Generated on 25/11/2024 at 13:53 using ProB version 1.13.1-nightly
Main specification file: brp_3_prob_mch.eventb (modified on 25/11/2024 at 13:52)
Main specification name: brp_3_prob
Main VisB JSON file: visb_brp.def (modified on 25/11/2024 at 13:51)