Removes all trailing whitespaces

Fix bug in apply_trace when used with grouped lemmas.

This commit fixes a typo in apply_trace which
prevented correct printing of the index of
the lemma used in a grouped lemma.
An example is given in Apply_Trace_Cmd.thy

apply_trace: remove accidental reference to foo locale

apply_trace: avoid common name "foo" in test locale

apply_trace: general interface for printing

apply_trace: attempt to give local facts

Do some name-mangling to try to find the most local variant of a fact

allow apply_trace to build in batch mode and include by default

isabelle-2016: update Apply_Trace and fix to work in batch mode.

removed dead code

refined find_theorems filter to compare names rather than props

added optional find_theorems query to filter output of Apply_Trace

fixed Apply_Trace (removed broken mentioned_facts feature)

removed dead code

refined find_theorems filter to compare names rather than props

added optional find_theorems query to filter output of Apply_Trace

fixed Apply_Trace (removed broken mentioned_facts feature)

start work on Isabelle 2015 update

Fixed apply trace for Isabelle 2014

Port AutoCorres to Isabelle 2014-RC0

Import release snapshot.