![[Jenkins]](/jenkins/static/f7776f3e/images/svgs/logo.svg){kind=logo}
Summary
- redefined wfP as an abbreviation for "wfp_on UNIV"
| The file was modified | NEWS (diff) |
| The file was modified | src/HOL/Tools/Function/function_core.ML (diff) |
| The file was modified | src/HOL/Wellfounded.thy (diff) |
| The file was modified | NEWS (diff) |
| The file was modified | src/HOL/Tools/Function/function_core.ML (diff) |
| The file was modified | src/HOL/Wellfounded.thy (diff) |