diff options
| author | Josh Chen | 2020-07-16 16:20:15 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-07-16 16:20:15 +0200 |
| commit | 2a2fa1e4c643b73165af030dc3b6128886f7b654 (patch) | |
| tree | 82f64dd327d05c32cecb22b05ae705906f2faf88 /spartan/lib/List.thy | |
| parent | 79659cb0edf1eea026a93955403a33a1f38f6123 (diff) | |
update readme
Diffstat (limited to 'spartan/lib/List.thy')
0 files changed, 0 insertions, 0 deletions