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) |