Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merge from afp-2016
  2. make Nominal2 a full entry
Changeset 6539:21dc60f96701 by kleing:
merge from afp-2016
Changeset 6538:4071e04d3366 by gerwin klein _gerwin.klein@nicta.com.au_:
make Nominal2 a full entry
The file was addedthys/Nominal2/document/root.tex
The file was addedweb/entries/Nominal2.shtml
The file was modified metadata/metadata (diff)
The file was modified thys/Nominal2/Nominal2.thy (diff)
The file was modified thys/Nominal2/Nominal2_Base.thy (diff)
The file was modified thys/Nominal2/ROOT (diff)
The file was modified web/entries/Incompleteness.shtml (diff)
The file was modified web/entries/Launchbury.shtml (diff)
The file was modified web/index.shtml (diff)
The file was modified web/topics.shtml (diff)
The file was removedthys/Nominal2/README