lib/isabelle/.gitignore


1
2
3
4
5
6
7
8
9
10
11
12
13

PromptAuxiliary.thy
Prompt_monadAuxiliary.thy
Prompt_monad.thy
Prompt.thy
Sail_instr_kinds.thy
Sail_operators_bitlists.thy
Sail_operators_mwords.thy
Sail_operators.thy
Sail_valuesAuxiliary.thy
Sail_values.thy
StateAuxiliary.thy
State_monad.thy
State.thy