IsabelleClient.Result.UseTheoriesResult (isabelle_elixir v0.4.0)

View Source

Structured use_theories result.