tamarin-prover-0.8.2.0: .ghci

:set -iinteractive-only-src
-- :set -ilib/term/src
-- :set -ilib/utils/src
:set -ilib/theory/src
:set -isrc
:set -Wall -fwarn-tabs