Summary
- merged
- adapted ZF,FOL,CCL,LCF to modified splitter
- introduced aggressive splitter "split!"
The file was modified | src/FOL/simpdata.ML (diff) |
The file was modified | src/HOL/Data_Structures/AA_Set.thy (diff) |
The file was modified | src/HOL/Data_Structures/Tree234_Map.thy (diff) |
The file was modified | src/HOL/Data_Structures/Tree234_Set.thy (diff) |
The file was modified | src/HOL/Data_Structures/Tree23_Map.thy (diff) |
The file was modified | src/HOL/Data_Structures/Tree23_Set.thy (diff) |
The file was modified | src/HOL/Tools/simpdata.ML (diff) |
The file was modified | src/Provers/splitter.ML (diff) |