Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned document;
  2. proper latex macros, notably for src/HOL/Examples/Iff_Oracle.thy;
  3. NEWS;
  4. clarified sessions;
  5. clarified sessions: "Notable Examples in Isabelle/HOL";
  6. clarified sessions: "Notable Examples in Isabelle/Pure";
Changeset 71929:73ff22f99d38 by wenzelm:
tuned document;
The file was modified src/HOL/Examples/ML.thy (diff)
The file was modified src/HOL/Examples/document/root.tex (diff)
Changeset 71928:ae643fb4ca30 by wenzelm:
proper latex macros, notably for src/HOL/Examples/Iff_Oracle.thy;
The file was modified lib/texinputs/isabellesym.sty (diff)
Changeset 71927:ebcae4a19e78 by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 71926:bee83c9d3306 by wenzelm:
clarified sessions;
The file was addedsrc/HOL/Examples/Iff_Oracle.thy
The file was modified src/Doc/Isar_Ref/Spec.thy (diff)
The file was modified src/HOL/ROOT (diff)
The file was removedsrc/HOL/ex/Iff_Oracle.thy
Changeset 71925:bf085daea304 by wenzelm:
clarified sessions: "Notable Examples in Isabelle/HOL";
The file was addedsrc/HOL/Examples/Cantor.thy
The file was addedsrc/HOL/Examples/Drinker.thy
The file was addedsrc/HOL/Examples/Knaster_Tarski.thy
The file was addedsrc/HOL/Examples/ML.thy
The file was addedsrc/HOL/Examples/Peirce.thy
The file was addedsrc/HOL/Examples/Seq.thy
The file was addedsrc/HOL/Examples/document/root.bib
The file was addedsrc/HOL/Examples/document/root.tex
The file was modified etc/settings (diff)
The file was modified src/Doc/Isar_Ref/Framework.thy (diff)
The file was modified src/Doc/System/Server.thy (diff)
The file was modified src/HOL/Proofs/ex/XML_Data.thy (diff)
The file was modified src/HOL/ROOT (diff)
The file was removedsrc/HOL/Isar_Examples/Cantor.thy
The file was removedsrc/HOL/Isar_Examples/Drinker.thy
The file was removedsrc/HOL/Isar_Examples/Knaster_Tarski.thy
The file was removedsrc/HOL/Isar_Examples/Peirce.thy
The file was removedsrc/HOL/ex/ML.thy
The file was removedsrc/HOL/ex/Seq.thy
Changeset 71924:e5df9c8d9d4b by wenzelm:
clarified sessions: "Notable Examples in Isabelle/Pure";
The file was addedsrc/Pure/Examples/First_Order_Logic.thy
The file was addedsrc/Pure/Examples/Higher_Order_Logic.thy
The file was addedsrc/Pure/Examples/document/root.bib
The file was addedsrc/Pure/Examples/document/root.tex
The file was modified NEWS (diff)
The file was modified lib/html/library_index_content.template (diff)
The file was modified src/Doc/Isar_Ref/Framework.thy (diff)
The file was modified src/HOL/ROOT (diff)
The file was modified src/Pure/ROOT (diff)
The file was removedsrc/HOL/Isar_Examples/First_Order_Logic.thy
The file was removedsrc/HOL/Isar_Examples/Higher_Order_Logic.thy