Summary
- tuned proofs -- eliminated odd case_tac;
- more scalable on 32-bit Poly/ML;
- tuned;
The file was modified | src/HOL/BNF_Cardinal_Order_Relation.thy (diff) |
The file was modified | src/HOL/BNF_Fixpoint_Base.thy (diff) |
The file was modified | src/HOL/Basic_BNF_LFPs.thy (diff) |
The file was modified | src/HOL/Enum.thy (diff) |
The file was modified | src/HOL/List.thy (diff) |
The file was modified | src/Pure/PIDE/protocol.ML (diff) |
The file was modified | src/Pure/PIDE/protocol.scala (diff) |
The file was modified | src/Pure/PIDE/byte_message.ML (diff) |