src/HOL/Proofs/Lambda/ROOT.ML
author wenzelm
Wed Dec 29 17:34:41 2010 +0100 (2010-12-29)
changeset 41413 64cd30d6b0b8
parent 39157 b98909faaea8
permissions -rw-r--r--
explicit file specifications -- avoid secondary load path;
     1 no_document use_thys ["~~/src/HOL/Library/Code_Integer"];
     2 use_thys ["Eta", "StrongNorm", "Standardization", "WeakNorm"];