Auxiliary definitions used for manipulating (deeply embedded) HOL syntax.
holSyntaxLibScript.sml: Definitions for manipulating (deeply embedded) HOL syntax.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
Auxiliary definitions used for manipulating (deeply embedded) HOL syntax.
holSyntaxLibScript.sml: Definitions for manipulating (deeply embedded) HOL syntax.