Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

Summary

  1. removed UNION
Changeset 10481:86f544c41cb4 by nipkow:
removed UNION
The file was modified thys/Groebner_Macaulay/Degree_Bound_Utils.thy
The file was modified thys/Groebner_Macaulay/Dube_Bound.thy
The file was modified thys/Groebner_Macaulay/Groebner_Macaulay.thy
The file was modified thys/Groebner_Macaulay/Groebner_Macaulay_Examples.thy