Added a theory of intervals and a test case: a specification for a lock-free deque
Merge branch 'master' of https://github.com/cipher1024/literate-unitb

Conflicts:
	Theories/IntervalTheory.hs