Quelle  ROOT  Sprache: unbekannt

chapter AFP

session Green = "HOL-Analysis" +
 description "Green's theorem"
 options [timeout = 600]
 theories
  CircExample
  DiamExample
  Green
  Paths
  Derivs
  General_Utils
  Integrals
  SymmetricR2Shapes
 document_files
   "root.tex"