Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. merged
  2. tuned
  3. added theory Tree23_of_List
  4. more robust treatment of thm_names, with strict check after all theories are loaded;
Changeset 72101:c65614b556b2 by nipkow:
merged
Changeset 72100:9fa6dde8d959 by nipkow:
tuned
The file was modified src/HOL/Data_Structures/Tree23_of_List.thy
The file was modified src/HOL/Data_Structures/document/root.bib
The file was modified src/HOL/Data_Structures/document/root.tex
Changeset 72099:f978ecaf119a by nipkow:
added theory Tree23_of_List
The file was addedsrc/HOL/Data_Structures/Tree23_of_List.thy
The file was modified src/HOL/ROOT
Changeset 72098:8c547eac8381 by wenzelm:
more robust treatment of thm_names, with strict check after all theories are loaded;
The file was modified src/Pure/PIDE/session.ML
The file was modified src/Pure/global_theory.ML