--- a/src/Pure/ROOT Fri Mar 18 16:38:40 2016 +0100
+++ b/src/Pure/ROOT Fri Mar 18 17:11:30 2016 +0100
@@ -50,8 +50,6 @@
"General/secure.ML"
"General/seq.ML"
"General/sha1.ML"
- "General/sha1_polyml.ML"
- "General/sha1_samples.ML"
"General/socket_io.ML"
"General/source.ML"
"General/stack.ML"