Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. New theory Library/List_Lenlexorder.thy, a type class instantiation for well-ordering lists
  3. discontinued somewhat incoherent patches (see also 3b36fc4916af);
  4. use friendlier package;
  5. removed LaTeX package and hack to avoid ALLCAPS headers
  6. use friendlier package
Changeset 71767:ed065b4a85f2 by paulson:
merged
Changeset 71766:1249b998e377 by paulson _lp15@cam.ac.uk_:
New theory Library/List_Lenlexorder.thy, a type class instantiation for well-ordering lists
The file was addedsrc/HOL/Library/List_Lenlexorder.thy
The file was modified src/HOL/Library/List_Lexorder.thy (diff)
The file was modified src/HOL/List.thy (diff)
The file was modified src/HOL/ROOT (diff)
The file was modified src/HOL/Wellfounded.thy (diff)
Changeset 71765:c4e0d29cf1ca by wenzelm:
discontinued somewhat incoherent patches (see also 3b36fc4916af);
The file was modified src/Doc/Corec/document/root.tex (diff)
Changeset 71764:17365d32a0c8 by wenzelm:
use friendlier package;
The file was modified src/Doc/Corec/document/root.tex (diff)
Changeset 71763:3b36fc4916af by blanchet:
removed LaTeX package and hack to avoid ALLCAPS headers
The file was modified src/Doc/Datatypes/Datatypes.thy (diff)
The file was modified src/Doc/Datatypes/document/root.tex (diff)
Changeset 71762:c7d19729456c by blanchet:
use friendlier package
The file was modified src/Doc/Datatypes/document/root.tex (diff)