diff options
author | Josh Chen | 2018-08-17 13:39:56 +0200 |
---|---|---|
committer | Josh Chen | 2018-08-17 13:39:56 +0200 |
commit | a85c05db8b3952ae07a645abfdd8b5418808cfec (patch) | |
tree | 181122ca233d1ea25e14ca1bf22ad63388ed85a0 /ex/Methods.thy | |
parent | 10757b7f628655f962b2dd1c7849c75098320ed1 (diff) |
Change unnecessary axiomatization to a definition
Diffstat (limited to 'ex/Methods.thy')
0 files changed, 0 insertions, 0 deletions