# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1271326054 -7200
# Node ID acacc448f9ea928a7999bc542be5032635d0d83c
# Parent  756982b4fe20bf62df17dacacc5020bc73cb33a1
changed header

diff -r 756982b4fe20 -r acacc448f9ea Nominal/Manual/Term4.thy
--- a/Nominal/Manual/Term4.thy	Wed Apr 14 22:41:22 2010 +0200
+++ b/Nominal/Manual/Term4.thy	Thu Apr 15 12:07:34 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