tamarin-prover-0.1.0.0: .ghci

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