src/HOL/SET_Protocol/ROOT.ML
author wenzelm
Wed Dec 29 17:34:41 2010 +0100 (2010-12-29)
changeset 41413 64cd30d6b0b8
parent 39757 21423597a80d
permissions -rw-r--r--
explicit file specifications -- avoid secondary load path;
     1 no_document use_thys ["~~/src/HOL/Library/Nat_Bijection"];
     2 use_thys ["SET_Protocol"];