#stop word list from SMART (Salton,1971).  Available at ftp://ftp.cs.cornell.edu/pub/smart/english.stop
#tuned for Isabelle/AFP
a
a's
able
about
above
according
accordingly
across
actually
after
afterwards
again
against
ain't
all
allow
allows
almost
alone
along
already
also
although
always
am
among
amongst
an
and
another
any
anybody
anyhow
anyone
anything
anyway
anyways
anywhere
apart
appear
appreciate
appropriate
are
aren't
around
as
aside
ask
asking
assert
associated
assume
at
available
away
awfully
b
be
became
because
become
becomes
becoming
been
before
beforehand
behave
behind
being
believe
below
beside
besides
best
better
between
beyond
both
brief
but
by
c
c'mon
c's
came
can
can't
cannot
cant
cause
certain
certainly
changes
clearly
co
com
come
commonly
concerning
consequently
consider
considered
considering
contain
containing
contains
corresponding
could
couldn't
course
currently
d
define
definitely
described
despite
develop
developed
did
didn't
different
do
does
doesn't
doing
don't
done
down
downwards
during
e
each
edu
eg
eight
either
else
elsewhere
enough
ensure
entirely
especially
et
etc
even
ever
every
everybody
everyone
everything
everywhere
ex
exactly
example
except
extend
f
far
few
fifth
first
five
followed
following
follows
for
formalise
formalize
former
formerly
forth
four
from
further
furthermore
g
get
gets
getting
give
go
goes
going
gone
got
gotten
greetings
h
had
hadn't
happens
hardly
has
hasn't
have
haven't
having
he
he's
hello
help
hence
her
here
here's
hereafter
hereby
herein
hereupon
hers
herself
hi
him
himself
hint
his
hither
hopefully
how
howbeit
however
i
i'd
i'll
i'm
i've
ie
if
ignored
illustrate
immediate
improve
in
inasmuch
inc
include
including
indeed
indicate
inner
insofar
instantiate
instead
into
introduce
inward
is
isabelle
isn't
it
it'd
it'll
it's
its
itself
j
just
k
keep
kept
know
l
last
lately
later
latter
latterly
least
less
lest
let
let's
like
liked
likely
little
look
looking
looks
ltd
m
made
mainly
make
many
may
maybe
me
mean
meanwhile
merely
might
more
moreover
most
mostly
much
must
my
myself
n
name
namely
nd
near
nearly
necessary
need
needs
neither
never
nevertheless
new
next
nine
no
nobody
non
none
noone
nor
normally
not
nothing
novel
now
nowhere
o
obviously
occur
of
off
often
oh
ok
okay
old
on
once
one
only
onto
or
other
others
otherwise
ought
our
ours
ourselves
out
outside
over
overall
own
p
particular
particularly
per
perhaps
placed
please
plus
possible
possibly
potentially
presumably
probably
prove
provide
published
q
que
quite
qv
r
rather
rd
re
really
reasonably
recent
regarding
regardless
regards
relatively
respectively
right
s
said
same
saw
say
saying
says
second
secondly
see
seeing
seem
seemed
seeming
seems
seen
self
selves
sensible
sent
serious
seriously
serve
seven
several
shall
she
should
shouldn't
show
showed
simplified
simplifies
simplifying
since
six
so
some
somebody
somehow
someone
something
sometime
somewhat
somewhere
soon
sorry
specified
specify
specifying
start
still
sub
such
sup
sure
t
t's
take
taken
tell
tends
th
than
thank
thanks
thanx
that
that's
thats
the
their
theirs
them
themselves
then
thence
there
there's
thereafter
thereby
therefore
therein
theres
thereupon
these
they
they'd
they'll
they're
they've
think
third
this
thorough
thoroughly
those
though
three
through
throughout
thru
thus
to
together
too
took
toward
towards
tractable
tried
tries
trivial
truly
try
trying
twice
two
u
un
under
unfortunately
unless
unlikely
until
unto
up
upon
us
use
useful
using
usually
uucp
v
value
various
very
via
viz
vs
w
want
wants
was
wasn't
way
we
we'd
we'll
we're
we've
welcome
well
went
were
weren't
what
what's
whatever
when
whence
whenever
where
where's
whereafter
whereas
whereby
wherein
whereupon
wherever
whether
which
while
whither
who
who's
whoever
whole
whom
whose
why
will
willing
wish
with
within
without
won't
wonder
would
would
wouldn't
x
y
yes
yet
yield
you
you'd
you'll
you're
you've
your
yours
yourself
yourselves
z
zero
