# HG changeset patch # User Christian Urban # 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