src/HOL/Proofs/Lambda/ROOT.ML
changeset 41413 64cd30d6b0b8
parent 39157 b98909faaea8
     1.1 --- a/src/HOL/Proofs/Lambda/ROOT.ML	Wed Dec 29 13:51:17 2010 +0100
     1.2 +++ b/src/HOL/Proofs/Lambda/ROOT.ML	Wed Dec 29 17:34:41 2010 +0100
     1.3 @@ -1,2 +1,2 @@
     1.4 -no_document use_thys ["Code_Integer"];
     1.5 +no_document use_thys ["~~/src/HOL/Library/Code_Integer"];
     1.6  use_thys ["Eta", "StrongNorm", "Standardization", "WeakNorm"];