Summary
- merge
- changed the order of Zipperposition slices in Sledgehammer
- merged
- The wellordering instantiation for length-ordered lists
- show sum_list defn
The file was modified | src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML (diff) |
The file was modified | src/HOL/Library/List_Lenlexorder.thy (diff) |
The file was modified | src/Doc/Prog_Prove/Types_and_funs.thy (diff) |