diff options
| author | Josh Chen | 2018-06-18 11:20:11 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-06-18 11:20:11 +0200 |
| commit | 912a4a4b909041cb280ae5cecd40867ce34b58de (patch) | |
| tree | 1e998ccd205e692ba2c9eea3497acd58c2b3aa10 /scratch.thy | |
| parent | f88e1c0de030ac32014dd6f4f04fb4c6961b93ab (diff) | |
Removed all [simp] attributes, these will be added later when I set up the simplifier. Proved simplification rule for dependent fst.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions