Skip to content

syntax-lib

Directory actions

More options

Directory actions

More options

Latest commit

 

History

History
 
 

syntax-lib

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
Holmakefile
Holmakefile
 
 
README.md
README.md
 
 
holSyntaxLibScript.sml
holSyntaxLibScript.sml
 
 
readmePrefix
readmePrefix
 
 

README.md

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

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