Gaetano Geck
|
fb9d553134
|
[Doc] Correct and improve small passages, add example for \newrelation.
|
2018-04-29 13:39:33 +02:00 |
Gaetano Geck
|
afb16f8ef4
|
[Doc] Add subsections to Section 2, Defining notation.
|
2018-04-29 13:39:33 +02:00 |
Gaetano Geck
|
fa83015aa9
|
[Doc] Add table of contents.
|
2018-04-29 13:39:33 +02:00 |
Gaetano Geck
|
a89006f91c
|
[Doc] Use \newrelation* for \satisfies in the main example.
|
2018-04-29 13:39:33 +02:00 |
Gaetano Geck
|
fb1e5bbb44
|
[Git] Initial commit (version 0.95).
|
2018-04-29 13:39:33 +02:00 |