diff -r 11a6c5620306 -r 3f820a21dcc1 src/ZF/Integ/Bin.thy
--- a/src/ZF/Integ/Bin.thy	Wed Nov 14 18:45:38 2001 +0100
+++ b/src/ZF/Integ/Bin.thy	Wed Nov 14 18:46:07 2001 +0100
@@ -105,6 +105,3 @@
 setup NumeralSyntax.setup
 
 end
-
-
-ML