# HG changeset patch
# User boehmes
# Date 1250840950 -7200
# Node ID 8629581acc0bbf457ae85eaeedd3c07dcab69103
# Parent  521065a499c64f54c73f5528ec36e84f70ab01a7
moved Mirabelle to HOL/Tools

diff -r 521065a499c6 -r 8629581acc0b etc/components
--- a/etc/components	Fri Aug 21 09:46:14 2009 +0200
+++ b/etc/components	Fri Aug 21 09:49:10 2009 +0200
@@ -13,4 +13,4 @@
 #misc components
 src/HOL/Tools/ATP_Manager
 src/HOL/Library/Sum_Of_Squares
-src/HOL/ex/Mirabelle
+src/HOL/Tools/Mirabelle