# HG changeset patch
# User wenzelm
# Date 1250976137 -7200
# Node ID e8feef03a93f520521deb7729e974096ea124fcc
# Parent  368159e48444b4bcb5886a68667ebb6839d8cd8c
tuned;

diff -r 368159e48444 -r e8feef03a93f etc/components
--- a/etc/components	Sat Aug 22 23:20:36 2009 +0200
+++ b/etc/components	Sat Aug 22 23:22:17 2009 +0200
@@ -12,5 +12,5 @@
 src/Sequents
 #misc components
 src/HOL/Tools/ATP_Manager
+src/HOL/Tools/Mirabelle
 src/HOL/Library/Sum_Of_Squares
-src/HOL/Tools/Mirabelle