# HG changeset patch
# User blanchet
# Date 1351679001 -3600
# Node ID 1e68f47019062594e37757de91950436b7b8c7a8
# Parent  e0761153fbd160a23f9a9fe6c76b9ab346b79734
repaired "Mutabelle" after Refute move

diff -r e0761153fbd1 -r 1e68f4701906 src/HOL/Mutabelle/MutabelleExtra.thy
--- a/src/HOL/Mutabelle/MutabelleExtra.thy	Wed Oct 31 11:23:21 2012 +0100
+++ b/src/HOL/Mutabelle/MutabelleExtra.thy	Wed Oct 31 11:23:21 2012 +0100
@@ -1,5 +1,5 @@
 theory MutabelleExtra
-imports Complex_Main
+imports Complex_Main "~~/src/HOL/Library/Refute"
 (*  "~/repos/afp/thys/AVL-Trees/AVL"
   "~/repos/afp/thys/BinarySearchTree/BinaryTree"
   "~/repos/afp/thys/Huffman/Huffman"