--- a/src/HOL/Library/Relational.thy Thu Nov 13 15:59:36 2008 +0100
+++ b/src/HOL/Library/Relational.thy Thu Nov 13 17:56:36 2008 +0100
@@ -1,5 +1,5 @@
theory Relational
-imports Array Ref Assert
+imports Array Ref
begin
section{* Definition of the Relational framework *}