Commit 8cbe218d authored by nipkow's avatar nipkow
Browse files

merged

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