diff options
| -rw-r--r-- | lib/isabelle/.gitignore | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/lib/isabelle/.gitignore b/lib/isabelle/.gitignore index 0d595f3c..ed83cdc1 100644 --- a/lib/isabelle/.gitignore +++ b/lib/isabelle/.gitignore @@ -1,13 +1,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 +Sail2_promptAuxiliary.thy +Sail2_prompt_monadAuxiliary.thy +Sail2_prompt_monad.thy +Sail2_prompt.thy +Sail2_instr_kinds.thy +Sail2_operators_bitlists.thy +Sail2_operators_mwords.thy +Sail2_operators.thy +Sail2_valuesAuxiliary.thy +Sail2_values.thy +Sail2_stateAuxiliary.thy +Sail2_state_monad.thy +Sail2_state.thy |