diff options
| author | Josh Chen | 2019-02-17 18:34:38 +0100 |
|---|---|---|
| committer | Josh Chen | 2019-02-17 18:34:38 +0100 |
| commit | 68aa069172933b875d70a5ef71e9db0ae685a92d (patch) | |
| tree | bd1da2111e12bab878641661d91f95f66f8132cc /ex/Book/Ch1.thy | |
| parent | 76b57317d7568f4dcd673b1b8085601c6c723355 (diff) | |
Method "quantify" converts product inhabitation into Pure universal statements. Also misc. cleanups.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions