Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper citation (amending d8205bb279a7);
  2. proper citation (amending 98ba42f19995);
Changeset 69308:48196cfb1541 by wenzelm:
proper citation (amending d8205bb279a7);
The file was modified src/Doc/manual.bib (diff)
Changeset 69307:196347d2fd2d by wenzelm:
proper citation (amending 98ba42f19995);
The file was modified src/Doc/Implementation/Logic.thy (diff)