# HG changeset patch
# User wenzelm
# Date 1005759967 -3600
# Node ID 3f820a21dcc16e6fed8671ef52b87c5304cccaba
# Parent  11a6c562030657bef6611dbb7254b90ccb9d596a
tuned;

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