Skip to content
Success

Changes

Summary

  1. Merged
  2. More facts on Landau symbols
  3. Made printing of pratt_tac optional
Changeset 7561:87e956fe7a44 by eberlm _eberlm@in.tum.de_:
More facts on Landau symbols
The file was addedthys/Landau_Symbols/Landau_More.thy
The file was modified thys/Landau_Symbols/Landau_Symbols.thy (diff)
The file was modified thys/Landau_Symbols/Landau_Symbols_Definition.thy (diff)
Changeset 7560:be397d8a7af5 by eberlm _eberlm@in.tum.de_:
Made printing of pratt_tac optional
The file was modified thys/Pratt_Certificate/Pratt_Certificate.thy (diff)
The file was modified thys/Pratt_Certificate/pratt.ML (diff)