Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
(******************************************************************************)
(* Project: The Isabelle/UTP Proof System *)
(* File: ROOT *)
(* Authors: Simon Foster and Frank Zeyda (University of York, UK) *)
(* Emails: simon.foster@york.ac.uk and frank.zeyda@york.ac.uk *)
(******************************************************************************)
chapter AFP
(* UTP Mathematical Toolkit *)
session "UTP-Toolkit" in "toolkit" = "HOL-Algebra" +
options [timeout = 600]
sessions
Optics
theories
utp_toolkit
document_files
"root.tex"
"root.bib"
"document.sty"
(* Core UTP Framework *)
session "UTP" = "UTP-Toolkit" +
options [timeout = 600]
directories
"utp"
"utp/examples"
theories [document = false]
"utp/utp_parser_utils"
theories
"utp/utp"
"utp/utp_full"
"utp/utp_easy_parser"
"utp/examples/sum_list"
"utp/examples/utp_simple_time"
document_files
"root.bib"
"root.tex"
"document.sty"
[Dauer der Verarbeitung: 0.12 Sekunden, vorverarbeitet 2026-09-27]
