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 (thanks to J. Villadsen)
Changeset 74764:adb10e840b71 by nipkow:
merged
Changeset 74763:dbac0ebb4a85 by nipkow:
tuned (thanks to J. Villadsen)
The file was modified src/Doc/Prog_Prove/Logic.thy
The file was modified src/Doc/Prog_Prove/Types_and_funs.thy