Skip to content

Latest commit

 

History

History

syntax-lib

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 

Auxiliary definitions used for manipulating (deeply embedded) HOL syntax.

holSyntaxLibScript.sml: Definitions for manipulating (deeply embedded) HOL syntax.