logical proof tree included inside a div (fix layout problem)
added dependancies file