(* Copyright (c) The mldsa-native project authors
   SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT *)
session NeonNTT = "HOL-Number_Theory" +
  options [document = pdf, document_output = "output"]
  sessions
    "HOL-Library"
  theories
    Introduction
    Integer_Approximation
    Montgomery_Reduction
    Barrett_Reduction
    Barrett_Montgomery
    Barrett_Bound_Quality
    Montgomery_Doubling
    Bridge_Conceptual
    Barrett_Division_Even
    Word_Ops
    Asm_Barrett
    Asm_Montgomery
    Conclusions
    Word_Ops_Export
  document_files
    "root.tex"
    "root.bib"
    "iacrtrans.cls"
