chapter AFP
session "TESL_Language" = HOL +
description "The Tagged Events Specification Language"
options [timeout = 1200]
theories
Introduction
TESL
Run
Denotational
Operational
SymbolicPrimitive Corecursive_Prop
Hygge_Theory
StutteringDefs StutteringLemmas Stuttering
Config_Morphisms
document_files
"root.tex"
"root.bib"
"figures/glue.pdf"
"figures/dilating.pdf"
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.1Bemerkung:
¤
*© Formatika GbR, Deutschland
Suchen
