diff options
author | Josh Chen | 2018-09-17 13:13:08 +0200 |
---|---|---|
committer | Josh Chen | 2018-09-17 13:13:08 +0200 |
commit | ea0c0c5427888982adce10ab25cebe445997f08b (patch) | |
tree | 8fe0b8aefb0cb14f0a1d9188892d8975f4b000a9 /Equal.thy | |
parent | d4900ced2e071927d81a21a9127034941f258ec3 (diff) |
Moved function composition lemmas into Prod.thy
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions