--- a/src/ZF/Tools/ind_cases.ML Wed Apr 13 18:45:09 2005 +0200 +++ b/src/ZF/Tools/ind_cases.ML Wed Apr 13 18:45:25 2005 +0200 @@ -95,3 +95,4 @@ end; end; +