Lines Matching defs:quoted
26 '(hol-find-quoted-material 0 'holscript-quoted-material prepend)
736 ("^Inductive" id-quoted "^End")
737 ("^CoInductive" id-quoted "^End")
746 (theorem-contents (id-quoted "^Proof" tactic))
747 (definition-contents (id-quoted "^Termination" tactic) (id-quoted))
748 (id-quoted (id ":" quotedmaterial))
1251 (defface holscript-quoted-material
1253 "The face for highlighting quoted material."