Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
user:ptacek:start [2010/05/11 15:18] ptacek |
user:ptacek:start [2021/07/02 17:03] (current) ptacek [TODO!!] |
||
|---|---|---|---|
| Line 12: | Line 12: | ||
| [[CCG]] | [[CCG]] | ||
| - | ====== TODO!! ====== | + | ====== TODO!!1 ====== |
| [[rozklad GEN]] na\ kroky - na Ut 18.4 | [[rozklad GEN]] na\ kroky - na Ut 18.4 | ||
| XML schemata | XML schemata | ||
| Line 135: | Line 135: | ||
| zmena | zmena | ||
| - | <math>\forall x: W_x \subseteq B \Rightarrow (\varphi(x)\downarrow \And \varphi(x) \in B \smallsetminus W_x)</math> | + | <latex>\forall x: W_x \subseteq B \Rightarrow (\varphi(x)\downarrow \And \varphi(x) \in B \smallsetminus W_x)</latex> |
| ~~NOTOC~~ | ~~NOTOC~~ | ||