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| |