chapter AFP
session Prim_Dijkstra_Simple = Priority_Search_Trees +
options [timeout=300]
sessions
"HOL-Data_Structures"
"HOL-Eisbach"
theories [document=false]
Common
theories
Chapter_Prim
Undirected_Graph
Undirected_Graph_Specs
Prim_Abstract
Undirected_Graph_Impl
Prim_Impl
Chapter_Dijkstra
Directed_Graph
Directed_Graph_Specs
Dijkstra_Abstract
Directed_Graph_Impl
Dijkstra_Impl
document_files
"root.tex"
"root.bib"
¤ Dauer der Verarbeitung: 0.0 Sekunden
¤
*© Formatika GbR, Deutschland
