tree da168971723fed522fc92e2ad7e02a2980e106fc
parent 2952ac5fa54f28ea9f41fcfe5ab23d826d4fb322
author Andreas Rossberg <rossberg@mpi-sws.org> 1765188416 +0100
committer Andreas Rossberg <rossberg@mpi-sws.org> 1765188416 +0100

[spec] Fix typo in definition of BsN