Skip to content
Success

Changes

Summary

  1. merged
  2. clarified imports: Pure comes last to avoid confusion of Pure.simp vs. HOL.simp;
  3. tuned signature;
Changeset 6962:18d3ec0ed690 by wenzelm:
merged
Changeset 6961:1aaf67e79671 by wenzelm:
clarified imports: Pure comes last to avoid confusion of Pure.simp vs. HOL.simp;
The file was modified thys/Applicative_Lifting/Applicative_PMF.thy (diff)
The file was modified thys/Applicative_Lifting/Applicative_Stream.thy (diff)
The file was modified thys/Bell_Numbers_Spivey/Bell_Numbers.thy (diff)
The file was modified thys/Incredible_Proof_Machine/Incredible_Deduction.thy (diff)
The file was modified thys/Perron_Frobenius/HMA_Connect.thy (diff)
The file was modified thys/Stern_Brocot/Cotree.thy (diff)
Changeset 6960:d8236068cfb7 by wenzelm:
tuned signature;
The file was modified thys/Dependent_SIFUM_Type_Systems/Examples/TypeSystemTactics.thy (diff)