lib/hol/.gitignore


1
2
3
4
5
6
7
8
9

prompt_monadScript.sml
promptScript.sml
sail_instr_kindsScript.sml
sail_operators_bitlistsScript.sml
sail_operators_mwordsScript.sml
sail_operatorsScript.sml
sail_valuesScript.sml
state_monadScript.sml
stateScript.sml