# HG changeset patch
# User Cezary Kaliszyk <kaliszyk@in.tum.de>
# Date 1271326126 -7200
# Node ID d25e1576ca82f1668840a8de8b4450219b5e515a
# Parent  05b2dd2b0e8a09b864eb699dac0f0cb37cbf25df# Parent  f075359f1fd52a7e55dcbf9cfd853461ff449442
merge

diff -r 05b2dd2b0e8a -r d25e1576ca82 Nominal/Manual/Term4.thy
--- a/Nominal/Manual/Term4.thy	Thu Apr 15 11:42:28 2010 +0200
+++ b/Nominal/Manual/Term4.thy	Thu Apr 15 12:08:46 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