31 lines
457 B
Plaintext
31 lines
457 B
Plaintext
chapter AFP
|
|
|
|
session "Extended_Finite_State_Machines-devel" (AFP) = "HOL-Library" +
|
|
options [timeout = 600]
|
|
sessions
|
|
FinFun
|
|
directories
|
|
"examples"
|
|
theories
|
|
"Trilean"
|
|
"Value"
|
|
"VName"
|
|
"AExp"
|
|
"AExp_Lexorder"
|
|
"GExp"
|
|
"GExp_Lexorder"
|
|
"FSet_Utils"
|
|
|
|
"Transition"
|
|
"Transition_Lexorder"
|
|
"EFSM"
|
|
"EFSM_LTL"
|
|
|
|
"examples/Drinks_Machine"
|
|
"examples/Drinks_Machine_2"
|
|
"examples/Drinks_Machine_LTL"
|
|
|
|
document_files
|
|
"root.tex"
|
|
"root.bib"
|