# `KinoIsabelle.Theory`
[🔗](https://github.com/jcschuster/kino_isabelle/blob/v0.1.0-alpha.1/lib/kino_isabelle/theory.ex#L1)

Turns cell text into a theory file.

In `:auto` header mode the text is wrapped as
`theory <theory> imports <imports> begin` … `end`; in `:manual` mode the text
is a complete theory and its name is read from the header. All theories of a
runtime share one directory, so a cell can import another cell's theory.

# `new`

Builds the theory for `text`. Options: `:theory`, `:imports`, `:header_mode`.

# `write!`

Writes the theory file.

---

*Consult [api-reference.md](api-reference.md) for complete listing*