title: Using antiquotes in Isabelle to refence a class defenition
body: <p>Using Isabelle and the theories <code>LaTeXsugar OptionalSugar Archimedean_Field</code> where the latex documentation block contain</p>
  
  <pre><code>text " ... @{class floor_ceiling} ... "
  </code></pre>
  
  <p>when running <code>isabelle build -d . S</code> the process fail. The file <code>ROOT</code> contain </p>
  
  <pre><code>session "S" = "HOL" +
  options [document = pdf, document_output = "generated"]
  theories
   S
  document_files
   build.sh
  </code></pre>
  
  <p>where the <a href="https://stackoverflow.com/questions/19421234/how-do-i-generate-latex-from-isabelle-hol">wiki</a> direction of was followed.</p>