Summary
- added is_arg_min
- removed LeastM; is now arg_min
The file was modified | src/Doc/Main/Main_Doc.thy (diff) |
The file was modified | src/Doc/Tutorial/Rules/Basic.thy (diff) |
The file was modified | src/Doc/Main/Main_Doc.thy (diff) |
The file was modified | src/HOL/Hilbert_Choice.thy (diff) |
The file was modified | src/HOL/Lattices_Big.thy (diff) |