Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
entry_structure [2015/03/13 21:15] nikolaj |
entry_structure [2015/04/15 20:46] nikolaj |
||
|---|---|---|---|
| Line 9: | Line 9: | ||
| ^ ^ | ^ ^ | ||
| | Elaboration | | | Elaboration | | ||
| - | | Universal property | | ||
| | Alternative definitions | | | Alternative definitions | | ||
| + | | Universal property | | ||
| | Discussion | | | Discussion | | ||
| | Theorems | | | Theorems | | ||
| Line 37: | Line 37: | ||
| === Possible lines in a formula block === | === Possible lines in a formula block === | ||
| - | | @#FF8866: rule | @#FF8866: basic logical rule | | + | | @#FF8866: rule | @#FF8866: basic logical rule | |
| | @#55CCEE: context | @#55CCEE: contex | | | @#55CCEE: context | @#55CCEE: contex | | ||
| | @#FFBB00: definiendum | @#FFBB00: definiendum| | | @#FFBB00: definiendum | @#FFBB00: definiendum| | ||
