Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. adapted to Isabelle/90a44d271683; tuned;
  2. clarified handling of method_facts, like SIMPLE_METHOD;
  3. tuned
Changeset 6759:6e2416535f88 by wenzelm:
adapted to Isabelle/90a44d271683;<br>tuned;
The file was modified thys/Akra_Bazzi/akra_bazzi.ML (diff)
Changeset 6758:1892b23de862 by wenzelm:
clarified handling of method_facts, like SIMPLE_METHOD;
The file was modified thys/Bell_Numbers_Spivey/Bell_Numbers.thy (diff)
Changeset 6757:392e736451a1 by nipkow:
tuned
The file was modified thys/Amortized_Complexity/Pairing_Heap.thy (diff)