IsabelleClient.Result.Export (isabelle_elixir v0.4.0)

View Source

Export produced by use_theories.