use Eq and EqTerm to simplify the equatable-terms requirement
require markup terms for isaTerms
trace assumption facts as Isabelle terms
moved full command result parsing to ResultParser
use full Command.State
extracted StepResults into top-level class CommandResults
fixed multiple trace message parsing
cleanup imports
IsaTerm matching based on the term, not display
adapting some Isabelle term manipulation
splitting terms into assumptions + goal
use full Command.State instead of just State
use Document.Node.Name instead of just Name
extracted single proof reading into a separate method;
dropping unparsed results and everything after them
cleanup
formatting
do not report dropping results
formatting
extracted document info into a separate method; further refactoring
simplify