Summary
- new lemma
- dedicated append function for string literals
The file was modified | src/HOL/Library/More_List.thy (diff) |
The file was modified | src/HOL/String.thy (diff) |
The file was modified | src/HOL/String.thy (diff) |
The file was modified | src/HOL/Library/More_List.thy (diff) |
The file was modified | src/HOL/String.thy (diff) |
The file was modified | src/HOL/String.thy (diff) |