# HG changeset patch
# User bulwahn
# Date 1269448844 -3600
# Node ID d87d85a5d9ab20b80eea79ab9eba6676d0255ee6
# Parent  0460ff79bb52f943b3ff5bd185a5ac3d8a4f77fe
adopting examples to Library move

diff -r 0460ff79bb52 -r d87d85a5d9ab src/HOL/Predicate_Compile_Examples/Predicate_Compile_Examples.thy
--- a/src/HOL/Predicate_Compile_Examples/Predicate_Compile_Examples.thy	Wed Mar 24 17:40:43 2010 +0100
+++ b/src/HOL/Predicate_Compile_Examples/Predicate_Compile_Examples.thy	Wed Mar 24 17:40:44 2010 +0100
@@ -1,5 +1,5 @@
 theory Predicate_Compile_Examples
-imports "../ex/Predicate_Compile_Alternative_Defs"
+imports Predicate_Compile_Alternative_Defs
 begin
 
 subsection {* Basic predicates *}