Commit
•
5cc3b0c
1
Parent(s):
ed0173e
Upload IsabelleV2.zip
Browse files- IsabelleV2.zip +3 -0
IsabelleV2.zip
ADDED
|
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
version https://git-lfs.github.com/spec/v1
|
| 2 |
+
oid sha256:299c5f3a5e081142dabade7b5abaee682bcbeab769cbfad9b91bc485b827f7fc
|
| 3 |
+
size 80711217
|