Summary
- remove superfluous theory
The file was modified | thys/Automatic_Refinement/Lib/Misc.thy (diff) |
The file was removed | thys/Automatic_Refinement/Lib/List_More.thy |
The file was modified | thys/Automatic_Refinement/Lib/Misc.thy (diff) |
The file was removed | thys/Automatic_Refinement/Lib/List_More.thy |