Sebastian Uchitel · 6cfdc740
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 1 deletion

enduser/Fluents-and-LTL-properties.md enduser/Fluents-and-LTL-properties.md +4 -1

No files found.
--- a/enduser/Fluents-and-LTL-properties.md
+++ b/enduser/Fluents-and-LTL-properties.md
@@ -60,4 +60,7 @@ fluent A = <a, c>
 fluent B = <b, c>

 constraint Q = [](A -> X B)
-```
\ No newline at end of file
+```
+
+---
+[← End User](End-User)
\ No newline at end of file