Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Adapted to isabelle-dev 0c5eb47e2696
  2. Added filtercomap to Landau_Symbols
Changeset 8127:d223f02f3edd by eberlm _eberlm@in.tum.de_:
Adapted to isabelle-dev 0c5eb47e2696
The file was modified thys/Comparison_Sort_Lower_Bound/Linorder_Relations.thy (diff)
Changeset 8126:eee6951f89fd by eberlm _eberlm@in.tum.de_:
Added filtercomap to Landau_Symbols
The file was modified thys/Landau_Symbols/Landau_Symbols_Definition.thy (diff)