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