# HG changeset patch
# User paulson
# Date 959186766 -7200
# Node ID 26b6e8f433053c6a8b201c36bf731253ef527943
# Parent  a7c3538fc2d2b3a25b737d96387f50699d0dbb63
added parent

diff -r a7c3538fc2d2 -r 26b6e8f43305 src/HOL/SetInterval.thy
--- a/src/HOL/SetInterval.thy	Wed May 24 18:45:29 2000 +0200
+++ b/src/HOL/SetInterval.thy	Wed May 24 18:46:06 2000 +0200
@@ -1,12 +1,12 @@
 (*  Title:      HOL/SetInterval.thy
     ID:         $Id$
     Author:     Tobias Nipkow
-    Copyright   1998  TU Muenchen
+    Copyright   2000  TU Muenchen
 
 lessThan, greaterThan, atLeast, atMost
 *)
 
-SetInterval = equalities +
+SetInterval = equalities + Arith + 
 
 constdefs
  lessThan    :: "('a::ord) => 'a set"	("(1{.._'(})")