.gitignore « hol4 « snapshots - sail - Formal specification language for ISAs

summary refs log tree commit diff

path: root/snapshots/hol4/.gitignore

blob: 462135beffc44de4ba1440a95c04a176dc5b366d (plain)

*.uo
*.ui
*.dat
*Theory.sml
*Theory.sig
.HOLMK
.hollogs
lem/hol-lib/lemheap
sail/lib/hol/sail-heap