Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added chains of (in)equations
Changeset 65348:b5ce7100ddc8 by nipkow:
added chains of (in)equations
The file was modified src/Doc/Prog_Prove/Isar.thy (diff)
The file was modified src/Doc/Prog_Prove/document/root.bib (diff)