diff options
Diffstat (limited to '')
-rw-r--r-- | scratch.thy | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/scratch.thy b/scratch.thy deleted file mode 100644 index f0514c3..0000000 --- a/scratch.thy +++ /dev/null @@ -1,9 +0,0 @@ -theory scratch - imports HoTT -begin - - - - - -end
\ No newline at end of file |