Commit
·
fa66d11
1
Parent(s):
f15a73d
Upload Isabelle.zip
Browse files- Isabelle.zip +3 -0
Isabelle.zip
ADDED
|
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
version https://git-lfs.github.com/spec/v1
|
| 2 |
+
oid sha256:e05793a66d8d1c65aa47c3f7d2bc4754e50a629ff99873fe98aff39a75d4db33
|
| 3 |
+
size 58880258
|