sail/snapshots/isabelle/ROOTS, branch sail2 Formal specification language for ISAs Add ROOTS file to Isabelle snapshot 2018-07-11T12:42:01+00:00 Thomas Bauereiss 2018-07-11T12:42:01+00:00 10ff48091a2bc49756fa48daff82170f907878fe