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