Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. mention contributors in List_Index
  2. tune; remove trailing whitespace in List_Index
  3. include remove_nth with some facts in List_Index
  4. include more facts on insert_nth in List_Index
  5. reform List_Index in preparation to include new material
Changeset 8157:17c02bbc36a6 by lukas bulwahn _lukas.bulwahn@gmail.com_:
mention contributors in List_Index
The file was modified thys/List-Index/List_Index.thy (diff)
Changeset 8156:50cfdfc7c329 by lukas bulwahn _lukas.bulwahn@gmail.com_:
tune; remove trailing whitespace in List_Index
The file was modified thys/List-Index/List_Index.thy (diff)
Changeset 8155:9f2a40bf7dd6 by lukas bulwahn _lukas.bulwahn@gmail.com_:
include remove_nth with some facts in List_Index
The file was modified thys/List-Index/List_Index.thy (diff)
Changeset 8154:2149e4edb57d by lukas bulwahn _lukas.bulwahn@gmail.com_:
include more facts on insert_nth in List_Index
The file was modified thys/List-Index/List_Index.thy (diff)
Changeset 8153:84aa9d7dc0ee by lukas bulwahn _lukas.bulwahn@gmail.com_:
reform List_Index in preparation to include new material
The file was modified thys/List-Index/List_Index.thy (diff)