Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
set_._hott [2014/11/11 22:30] nikolaj |
set_._hott [2014/11/17 19:16] nikolaj |
||
|---|---|---|---|
| Line 12: | Line 12: | ||
| ==== Parents ==== | ==== Parents ==== | ||
| === Requirements === | === Requirements === | ||
| - | [[Identity type]] | + | [[Mere proposition]] |
