HomeIsabelle/Phabricator

dismantle special treatment of citations in Isabelle/Scala;