diff options
author | Josh Chen | 2018-08-17 10:48:42 +0200 |
---|---|---|
committer | Josh Chen | 2018-08-17 10:48:42 +0200 |
commit | 10757b7f628655f962b2dd1c7849c75098320ed1 (patch) | |
tree | 4289a3f55d6840c9fe2411a501beb63067fb3df3 /Equal.thy | |
parent | a8e645e3a8d6e61bb0353ae6ac430a53811b0d58 (diff) |
Testing with the new theory
Diffstat (limited to 'Equal.thy')
0 files changed, 0 insertions, 0 deletions