activated AutoDoc
fixed reference
use AssignGeneratorVariables in example file
declared and installed "applying Suslin Lemma"