1 files changed, 0 insertions, 51 deletions
diff --git a/contrib/ML4PG/ssreflect/storage.el b/contrib/ML4PG/ssreflect/storage.el
deleted file mode 100644
index fde72694..00000000
--- a/contrib/ML4PG/ssreflect/storage.el
+++ /dev/null
@@ -1,51 +0,0 @@
-(defun ml4pg-save-lemma-aux (string)
-  (append-to-file string nil (concat ml4pg-home-dir "lemmas.txt"))  
-)
-
-(defun ml4pg-save-lemma (name value)
-  (ml4pg-save-lemma-aux (format "%s&%s$" name value)))
-
-
-(defun ml4pg-save-view-aux (string)
-  (append-to-file string nil (concat ml4pg-home-dir "views.txt"))  
-)
-
-(defun ml4pg-save-view (name value)
-  (ml4pg-save-view-aux (format "%s&%s$" name value)))
-
-
-(defun ml4pg-read-lemmas ()
-  (if (file-exists-p (concat ml4pg-home-dir "ssreflect/lemmas.txt"))
-      (with-temp-buffer
-	(insert-file-contents (concat ml4pg-home-dir "ssreflect/lemmas.txt"))
-	(let ((temp (format "%s" (read (current-buffer)))))
-	  (setf ml4pg-theorems_id (ml4pg-extract-info-from-files temp))
-	  ))))
-
-(defun ml4pg-read-views ()
-  (if (file-exists-p (concat ml4pg-home-dir "ssreflect/views.txt"))
-      (with-temp-buffer
-	(insert-file-contents (concat ml4pg-home-dir "ssreflect/views.txt"))
-	(let ((temp (format "%s" (read (current-buffer)))))
-	  (setf ml4pg-views_id (ml4pg-extract-info-from-files temp))
-	  ))))
-
-(defun ml4pg-extract-info-from-files (string)
-  (do ((temp string)
-       (temp2 nil))
-      ((not (search "$" temp)) temp2)
-      (let ((dollar (search "$" temp))
-	    (amper (search "&" temp)))
-	(progn 
-	  (setf temp2 (append temp2 (list (cons (subseq temp 0 amper)
-					 (string-to-number (subseq temp (1+ amper) dollar))))))
-	       (setf temp (subseq temp (1+ dollar)))))))
-
-
-
-
-
-
-
-
-