Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. moved contents of Inits.thy into Library/Sublist.thy, renaming inits to prefixes
  3. use Regular-Sets session directly
Changeset 6687:932234923e3f by nipkow:
merged
Changeset 6686:d0c99afad280 by nipkow:
moved contents of Inits.thy into Library/Sublist.thy, renaming inits to prefixes
The file was modified thys/Incredible_Proof_Machine/Incredible_Completeness.thy (diff)
The file was modified thys/Incredible_Proof_Machine/Incredible_Trees.thy (diff)
The file was modified thys/Incredible_Proof_Machine/Rose_Tree.thy (diff)
The file was modified thys/Incredible_Proof_Machine/document/root.tex (diff)
The file was removedthys/Incredible_Proof_Machine/Inits.thy
Changeset 6685:ad506c8f6e62 by kleing:
use Regular-Sets session directly
The file was modified thys/Posix-Lexing/ROOT (diff)