Commit 267f819a authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* doc/org/ Typo.

parent 6acb168a
......@@ -10,7 +10,6 @@ states, and where all runs are accepting (i.e., the acceptance
condition is =t=). They are typically used by model checkers to
represent the state space of the model to verify.
* Implementing a toy Kripke structure
In this example, our goal is to implement a Kripke structure that
......@@ -528,7 +527,6 @@ passing the option "~k~" to =print_dot()= will fix that.
* Possible improvements
The on-the-fly interface, especially as implemented here, involves a
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