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;
wenzelm@41413
     1
no_document use_thys ["~~/src/HOL/Library/Nat_Bijection"];
haftmann@39757
     2
use_thys ["SET_Protocol"];