Analysing EQ_TRANS proof
Merge branch 'removing-exceptions' of https://github.com/jack-pappas/NHol into removing-exceptions