isabelle_elixir
v0.3.0
Search documentation of isabelle_elixir
Settings
IsabelleClient.Result.UseTheoriesResult
(isabelle_elixir v0.3.0)
View Source
Structured
use_theories
result.