diff options
author | Josh Chen | 2018-08-18 14:53:36 +0200 |
---|---|---|
committer | Josh Chen | 2018-08-18 14:54:24 +0200 |
commit | bd93584da62ce4b1e43862b4119788265b00cb3c (patch) | |
tree | f1085fa04ba24c59faed49dc82e7530b4ffa74bb /scratch.thy | |
parent | 41f13f91d023e497d9b35e7a958a961aa0c7a5e5 (diff) |
Test theories
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 |