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 /Equal.thy | |
| parent | a7b46d4b0204571ba9124accebc84f77ae0bed26 (diff) | |
Should write the correct rule for Ord_leq_min. Another exercise.
Diffstat (limited to 'Equal.thy')
0 files changed, 0 insertions, 0 deletions