| changeset 13048 | 8b2eb3b78cc3 |
| parent 13042 | d8a345d9e067 |
| child 13049 | ce180e5b7fa0 |
| 13047:f27cc0a43feb | 13048:8b2eb3b78cc3 |
|---|---|
1 |
1 |
2 \chapter{Object-logic Specific Elements}\label{ch:logics} |
2 \chapter{Object-logic specific elements}\label{ch:logics} |
3 |
3 |
4 \section{General logic setup}\label{sec:object-logic} |
4 \section{General logic setup}\label{sec:object-logic} |
5 |
5 |
6 \indexisarcmd{judgment} |
6 \indexisarcmd{judgment} |
7 \indexisarmeth{atomize}\indexisaratt{atomize} |
7 \indexisarmeth{atomize}\indexisaratt{atomize} |