2 Commits (d0f39f3ce7d2f977c85d69de3ea108c332fb38a8)

Author SHA1 Message Date
Scott Owens 49d95f40a2 [sledge sem] Adds a theorem about block processing order
5 years ago
Scott Owens 9327f41880 [sledge sem] Organise the tranlation corectness proof
5 years ago