equal
deleted
inserted
replaced
31 URL="https://isabelle.in.tum.de" isabelle electron \ |
31 URL="https://isabelle.in.tum.de" isabelle electron \ |
32 --app="$(isabelle getenv -b ISABELLE_HOME)"/src/Tools/Electron/test |
32 --app="$(isabelle getenv -b ISABELLE_HOME)"/src/Tools/Electron/test |
33 |
33 |
34 |
34 |
35 *** HOL *** |
35 *** HOL *** |
|
36 |
|
37 * Theory Char_ord: streamlined logical specifications. |
|
38 Minor INCOMPATIBILITY. |
36 |
39 |
37 * Rule split_of_bool_asm is not split any longer, analogously to |
40 * Rule split_of_bool_asm is not split any longer, analogously to |
38 split_if_asm. INCOMPATIBILITY. |
41 split_if_asm. INCOMPATIBILITY. |
39 |
42 |
40 * Theory "HOL.Bit_Operations": rule bit_0 is not default [simp] any |
43 * Theory "HOL.Bit_Operations": rule bit_0 is not default [simp] any |