Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added lemmas
  2. added min_list and arg_min_list
  3. made arg_min_on definition
  4. added lemmas
Changeset 67171:2f213405cc0e by nipkow:
added lemmas
The file was modified src/HOL/List.thy (diff)
Changeset 67170:9bfe79084443 by nipkow:
added min_list and arg_min_list
The file was modified src/HOL/List.thy (diff)
Changeset 67169:1fabca1c2199 by nipkow:
made arg_min_on definition
The file was modified src/HOL/Lattices_Big.thy (diff)
Changeset 67168:bea1258d9a27 by nipkow:
added lemmas
The file was modified src/HOL/Data_Structures/List_Ins_Del.thy (diff)
The file was modified src/HOL/List.thy (diff)