1 FIND_FACTS_HOME="$COMPONENT"
2
3 init_components "${ISABELLE_COMPONENTS_BASE:-$USER_HOME/.isabelle/contrib}" "$FIND_FACTS_HOME/components/find_facts"