added materialy.md
added osnova.md
created basic tex template using updiplom style, czechiso
bibliography style and minted for code examples
created bibliography and Makefile
updated sources and outline
added introduction
added opening to practical part
renamed diplomka.bib to reference.bib
defined basic user guide structure
added installation guide
outlined common lisp basics
defined base concepts
scatched basic program structure
added frames with with outlines
basic notions - extended, translated working memory, removed problem domain,
  production memory, simple/template facts moved to knowledge base subsection
program structure - only the three basic phases will be outlined here, used
  simple fact example, fixed example location (by placeins package)
program structure section rewritten and extended
enclosed lisp notes in frame
find-template function renamed to find-templatef, defined find-template
macro that escapes the name, specs updated
knowledge base definition section extended
function find-fact-group renamed to find-fact-groupf, defined macro
find-fact-group which escapes the name
same for find-rule
extended knowledge base definition section - undefinitions, fact-group
queries, rules
exil-env:rem-template now converts name to keyword
extracted program structure and knowledge base definition from guide to separate
fiels
added note about exil packages to installation
added new terms to lisp section outline
added working memory modification and inference sections
added implementation note about more comples rule conditions
inference section corrected and extended
added new strategy definition to reference
fixed ton of small issues
fixed error in pattern matching - match-against-pattern now detects
mismatch when matching simple object against template pattern or vice
versa
examples/pokusy.lips encountered error in rete alpha part - when simple
rule condition is shorter than the tested fact, this counts as match
isolated in tests/tst-rete.lisp
added backward chaining examples - family, money
finished inference section
added inference tracing section
added undo/redo section
started backward chaining section
added more outline notes
reorganized introduction
fixed error in rete alpha part when tested fact is longer than pattern
alpha-memory-node activate now checks congruency of wme and pattern
supported by test-rete-fact-longer-than-condition
added example of using assertf to generate asserted facts programmatically