Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. sitegen
  2. added inductive definition of almost-full relations; updated metadata
Changeset 8006:219877f1f995 by Christian Sternagel:
sitegen
The file was modified web/entries/Open_Induction.shtml (diff)
The file was modified web/entries/Well_Quasi_Orders.shtml (diff)
The file was modified web/statistics.shtml (diff)
Changeset 8005:4db08d4e90c5 by Christian Sternagel:
added inductive definition of almost-full relations; updated metadata
The file was modified metadata/metadata (diff)
The file was modified thys/Open_Induction/Restricted_Predicates.thy (diff)
The file was modified thys/Well_Quasi_Orders/Almost_Full.thy (diff)