These pacakge includes three animations: 1) abstract machine, 2) refinement Ethereum to Fabric, and ) refinement Fabric to Ethereum. All refinement can be loaded with ProB and there are mocks for all machines. Mocks are single html web pages (e.g. gateway-history.html) that can be opened with any browser. Mocks shows the behaviour of the gateway on a single interaction.
