added main ideas of the bug in Charles' paper
Basic infrastructure for using the HOL/TeX munger in place.
Merge pull request #5 from mn200/writing_the_ITP2014_paper

Basic infrastructure for using the HOL/TeX munger in place.
Bibliography.
Merge branch 'writing_the_ITP2014_paper' of https://github.com/mabdula/planning into writing_the_ITP2014_paper
Added to the definitions section in the ITP2014 paper
Merge branch 'writing_the_ITP2014_paper' of https://github.com/mabdula/planning into writing_the_ITP2014_paper

Merging changes in the definitions.
added definitions to the paper
Introduction is drafted, material motivating mechanization is required.
added more definitions
Merge branch 'writing_the_ITP2014_paper' of https://github.com/mabdula/planning into writing_the_ITP2014_paper

Merging more definition.
Added charles' work to the .htex file
Added more definitions and started in the bugs sections
added to the bug section, and added some dummy lemmas in the HOL files for explanation
I've added an abstract.

I've also put the bibliography in the sources.

I also edited some spelling mistakes in my work from last week.
Abstract.
Makefile with bibtex.
added the counter example to show the existence of the second bug
Tweaks to initial parts of paper.
Fixed LaTeX for FUNION.