Summary
- tuned proofs;
The file was modified | src/HOL/HOLCF/Cfun.thy (diff) |
The file was modified | src/HOL/HOLCF/Completion.thy (diff) |
The file was modified | src/HOL/HOLCF/Domain_Aux.thy (diff) |
The file was modified | src/HOL/HOLCF/Cfun.thy (diff) |
The file was modified | src/HOL/HOLCF/Completion.thy (diff) |
The file was modified | src/HOL/HOLCF/Domain_Aux.thy (diff) |