# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1271326074 -7200
# Node ID f075359f1fd52a7e55dcbf9cfd853461ff449442
# Parent  acacc448f9ea928a7999bc542be5032635d0d83c# Parent  0e70f3c82876a78352af68c3fa7bc89103a84738
merged

diff -r 0e70f3c82876 -r f075359f1fd5 Nominal/Manual/Term4.thy
--- a/Nominal/Manual/Term4.thy	Thu Apr 15 11:05:54 2010 +0200
+++ b/Nominal/Manual/Term4.thy	Thu Apr 15 12:07:54 2010 +0200
@@ -1,5 +1,5 @@
 theory Term4
-imports "Nominal2_Atoms" "Nominal2_Eqvt" "Nominal2_Supp" "Abs" "Perm" "Fv" "Rsp" "../Attic/Prove" "Quotient_List"
+imports "../Abs" "../Perm" "../Fv" "../Rsp" "Quotient_List"
 begin
 
 atom_decl name