Summary
- merged
- clarified imports: Pure comes last to avoid confusion of Pure.simp vs. HOL.simp;
- tuned signature;
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) |
The file was modified | thys/Dependent_SIFUM_Type_Systems/Examples/TypeSystemTactics.thy (diff) |