Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

special treatment of 0 only refers to type char

Changeset 67620:3817a93a3e5e by haftmann: special treatment of 0 only refers to type char
The file was modified	`src/HOL/Tools/string_code.ML` (diff)