Summary
- more simp
- moved lemmas from AFP
The file was modified | src/HOL/Transitive_Closure.thy (diff) |
The file was modified | src/HOL/Relation.thy (diff) |
The file was modified | src/HOL/Transitive_Closure.thy (diff) |
The file was modified | src/HOL/Transitive_Closure.thy (diff) |
The file was modified | src/HOL/Relation.thy (diff) |
The file was modified | src/HOL/Transitive_Closure.thy (diff) |