does Isabelle do that
do Isabelle do that
mod n:prop v pro:dem
does isabelle do that ?
d ʌ z WORD_BOUNDARY ɪ s eɪ b ɛ l WORD_BOUNDARY d uː WORD_BOUNDARY ð a t WORD_BOUNDARY
d o e s WORD_BOUNDARY i s a b e l l e WORD_BOUNDARY d o WORD_BOUNDARY t h a t WORD_BOUNDARY