# HG changeset patch
# User haftmann
# Date 1226595396 -3600
# Node ID 9257bb7bcd2de7e7cc4cfb70c533402b3d487000
# Parent  eda4a5f64f2e36b34b73da491a6e2e5a3d5f0f28
removed Assert.thy

diff -r eda4a5f64f2e -r 9257bb7bcd2d src/HOL/Library/Relational.thy
--- 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 *}