diff options
| author | Josh Chen | 2018-06-15 17:17:27 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-06-15 17:17:27 +0200 |
| commit | 602ad9fe0e2ed1ad4ab6f16e720de878aadc0fba (patch) | |
| tree | 3882162eff20f5bce4bf85cffe067a0e8475dd08 /scratch.thy | |
| parent | 91efce41a2319a9fb861ff26d7dc8c49ec726d4c (diff) | |
projections
Diffstat (limited to 'scratch.thy')
0 files changed, 0 insertions, 0 deletions