Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. new lemma
  2. dedicated append function for string literals
Changeset 67730:f91c437f6f68 by haftmann:
new lemma
The file was modified src/HOL/Library/More_List.thy (diff)
The file was modified src/HOL/String.thy (diff)
Changeset 67729:5152afa6258f by haftmann:
dedicated append function for string literals
The file was modified src/HOL/String.thy (diff)