diff options
| author | Josh Chen | 2019-02-23 18:57:15 +0100 |
|---|---|---|
| committer | Josh Chen | 2019-02-23 18:57:15 +0100 |
| commit | 232856fbef15105f619a5c1056da2602984804df (patch) | |
| tree | fac1ffadc75dc5de325d14bd9280c5083cb156b1 /ex/Book/Ch1.thy | |
| parent | 0c96ce5c0b0b0948d7c5dca1634f0e0b3658b113 (diff) | |
compute method solves subgoals arising from subst
Diffstat (limited to 'ex/Book/Ch1.thy')
0 files changed, 0 insertions, 0 deletions