Summary
- mention contributors in List_Index
- tune; remove trailing whitespace in List_Index
- include remove_nth with some facts in List_Index
- include more facts on insert_nth in List_Index
- reform List_Index in preparation to include new material
The file was modified | thys/List-Index/List_Index.thy (diff) |
The file was modified | thys/List-Index/List_Index.thy (diff) |
The file was modified | thys/List-Index/List_Index.thy (diff) |
The file was modified | thys/List-Index/List_Index.thy (diff) |
The file was modified | thys/List-Index/List_Index.thy (diff) |