disjunction
Merge branch 'master' of perchta.fit.vutbr.cz:seplog-list-ta-decproc
notes: add macro for \alphabet = \mathcal{F}
fig/: move figures to the fig/ directory
.gitignore: do not ignore .pdf files
notes: start formal description of automaton creation
notes: add issue with breaking cycles
Merge branch 'master' of perchta.fit.vutbr.cz:seplog-list-ta-decproc
added the colourful list example
notes: change definition of abstract heap graph
Merge branch 'master' of perchta.fit.vutbr.cz:seplog-list-ta-decproc
Modifie until abstract heaps, mainly ordering relations and well formed preds, added semantics of SL.
Merge branch 'master' of perchta.fit.vutbr.cz:seplog-list-ta-decproc
with modifs until abstract heaps (ordering, semantics)
Added semantics
Added new version for heap to tree, corr some typos on figures and pred defs.
notes: change defition of abstract heap graph
Merge branch 'master' of perchta.fit.vutbr.cz:seplog-list-ta-decproc

Conflicts:
	notes-1307.tex
Small changes of macros. New pictures of disc about simplified form of preds.
notes: change definition of abstract heap graph
Start changing def of predicates to redefine backbones.