Summary
- added lemmas
- suppress "FreeMarker Template Language" file extension for the sake of SAD3/ForTheL;
- merged
- tuned names
The file was modified | src/HOL/List.thy (diff) |
The file was modified | src/Tools/jEdit/lib/Tools/jedit (diff) |
The file was modified | src/HOL/Data_Structures/Braun_Tree.thy (diff) |