diff options
author | Josh Chen | 2018-08-30 00:51:48 +0200 |
---|---|---|
committer | Josh Chen | 2018-08-30 00:51:48 +0200 |
commit | 2a2e8e46e0de6f99154a9421f75ae802557f22c7 (patch) | |
tree | 8dfcd36ddc5ea1da6609dbc06c2a273e36e1a1b6 /Proj.thy | |
parent | a7b46d4b0204571ba9124accebc84f77ae0bed26 (diff) |
Should write the correct rule for Ord_leq_min. Another exercise.
Diffstat (limited to 'Proj.thy')
0 files changed, 0 insertions, 0 deletions