Commit 7613453c authored by nipkow's avatar nipkow
Browse files

missing AFP

parent a4327c8e61df
session "Timed_Automata" = "HOL" +
chapter AFP
session "Timed_Automata" (AFP) = HOL +
options [timeout=600]
theories
Normalized_Zone_Semantics
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment