Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. synchronized with book
  2. tuned
Changeset 62222:54a7b9422d3e by nipkow:
synchronized with book
The file was modified src/Doc/Prog_Prove/Basics.thy (diff)
The file was modified src/Doc/Prog_Prove/Bool_nat_list.thy (diff)
The file was modified src/Doc/Prog_Prove/document/intro-isabelle.tex (diff)
Changeset 62221:0628123e9d4e by nipkow:
tuned
The file was modified src/Doc/Prog_Prove/document/intro-isabelle.tex (diff)