diff options
| author | Josh Chen | 2018-06-28 11:20:22 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-06-28 11:20:22 +0200 |
| commit | eaeb9d8c89620b688d8735eafa9bc28121e5f552 (patch) | |
| tree | f6657e3d44ec314834efa3c60a0a7a17a059a68d /Proj.thy | |
| parent | b3c466bf7f850e39a59ebc04580e385a48bfd655 (diff) | |
wellformed method works!!!
Diffstat (limited to 'Proj.thy')
0 files changed, 0 insertions, 0 deletions