Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. more lex fixes
  2. Another go with lex: now lexordp back in class ord
Changeset 72171:7075fe8ffd76 by paulson _lp15@cam.ac.uk_:
more lex fixes
The file was modified src/HOL/Datatype_Examples/Stream_Processor.thy (diff)
Changeset 72170:7fa9605b226c by paulson _lp15@cam.ac.uk_:
Another go with lex: now lexordp back in class ord
The file was modified src/HOL/Corec_Examples/Stream_Processor.thy (diff)
The file was modified src/HOL/List.thy (diff)
The file was modified src/HOL/String.thy (diff)
The file was modified src/HOL/Wellfounded.thy (diff)