]> matita.cs.unibo.it Git - fireball-separation.git/blobdiff - ocaml/problems/solved
New FASTER! SIMPLER! algorithm
[fireball-separation.git] / ocaml / problems / solved
diff --git a/ocaml/problems/solved b/ocaml/problems/solved
deleted file mode 100644 (file)
index 6ea3dd2..0000000
+++ /dev/null
@@ -1,3 +0,0 @@
-$! Scott mk_math with empty bs\r
-D b (_. _. BOT)\r
-C b\r