# 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