Summary
- prefer proper strings in OCaml
- more correct parenthesing
The file was modified | NEWS (diff) |
The file was modified | src/HOL/String.thy (diff) |
The file was modified | src/Tools/Code/code_ml.ML (diff) |
The file was modified | src/Tools/Code/code_runtime.ML (diff) |