-
Glen Mével authored
reorganize sections: put reminder of syntax just before description of code, lift queue.{spec,impl,proof} up by 1 level
9c0889e8
reorganize sections: put reminder of syntax just before description of code, lift queue.{spec,impl,proof} up by 1 level