diff options
| author | Josh Chen | 2019-01-30 15:43:47 +0100 |
|---|---|---|
| committer | Josh Chen | 2019-01-30 15:43:47 +0100 |
| commit | a245a3e2194b4d5a6e7fbac8fa10598e96307e57 (patch) | |
| tree | 4c2b5a5dfd940f00f38436e1f00e084f5358d360 /Nat.thy | |
| parent | 55c148073df8de5f0cf4c45db23d2e3da7f4f093 (diff) | |
Begin refactor
Diffstat (limited to 'Nat.thy')
0 files changed, 0 insertions, 0 deletions