Searched defs:cmd_theory (Results 1 - 1 of 1) sorted by relevance

/hets/Isabelle/export/
H A Dparser.ml147 val cmd_theory : (Token.T list * Thy_Header.header) parser var
181 val cmd_theory = preserve_toks (Parse.command_name "theory"
688 val thy = Scan.catch (Scan.option cmd_header -- cmd_theory

Completed in 11 milliseconds