Summary
- tuned (non-unique example);
- clarified situation of global theory names;
- less global theories -- avoid confusion about special cases;
The file was modified | NEWS (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/Doc/System/Sessions.thy (diff) |
The file was modified | src/HOL/Probability/ex/Measure_Not_CCC.thy (diff) |
The file was modified | src/HOL/ROOT (diff) |
The file was modified | src/HOL/SPARK/Examples/Gcd/Greatest_Common_Divisor.thy (diff) |
The file was modified | src/HOL/SPARK/Examples/Liseq/Longest_Increasing_Subsequence.thy (diff) |
The file was modified | src/HOL/SPARK/Examples/RIPEMD-160/RMD_Specification.thy (diff) |
The file was modified | src/HOL/SPARK/Examples/Sqrt/Sqrt.thy (diff) |
The file was modified | src/HOL/SPARK/Manual/Complex_Types.thy (diff) |
The file was modified | src/HOL/SPARK/Manual/Proc1.thy (diff) |
The file was modified | src/HOL/SPARK/Manual/Proc2.thy (diff) |
The file was modified | src/HOL/SPARK/Manual/Reference.thy (diff) |
The file was modified | src/HOL/SPARK/Manual/Simple_Greatest_Common_Divisor.thy (diff) |