Summary
- even more appropriate fact name
- more correct indicator
The file was modified | src/HOL/Parity.thy (diff) |
The file was modified | src/HOL/ex/Bit_Lists.thy (diff) |
The file was modified | src/Tools/Code/code_ml.ML (diff) |
The file was modified | src/HOL/Parity.thy (diff) |
The file was modified | src/HOL/ex/Bit_Lists.thy (diff) |
The file was modified | src/Tools/Code/code_ml.ML (diff) |