diff options
| author | Josh Chen | 2020-05-30 14:38:12 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-05-30 14:38:12 +0200 |
| commit | 2e807b74bd0f4e9a2ccfcb861bef876dba5aa066 (patch) | |
| tree | c27a067e063508a609547a2459d147235b295fb6 /spartan/data/Maybe.thy | |
| parent | 9ed05b8027122d9b5e450b811deb8897ffe78417 (diff) | |
fix name
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions