diff options
| author | Josh Chen | 2019-03-01 00:44:58 +0100 |
|---|---|---|
| committer | Josh Chen | 2019-03-01 00:44:58 +0100 |
| commit | 39b22fe12f0166d9516638204b4deabe22671d98 (patch) | |
| tree | 727d007e6941d53c020d972056b5ebfea367506c /ex/Book/Ch1.thy | |
| parent | 73e7023a301753e91dfdc9ba49c4bcff91dbddc3 (diff) | |
Syntax changes. Transport inverse lemmas.
Diffstat (limited to 'ex/Book/Ch1.thy')
0 files changed, 0 insertions, 0 deletions