src/HOL/Nominal/ROOT.ML
2010-12-29 wenzelm 2010-12-29 explicit file specifications -- avoid secondary load path;
2009-11-11 wenzelm 2009-11-11 uniform use of simultabeous use_thys;
2007-09-15 haftmann 2007-09-15 fixed title
2006-10-01 wenzelm 2006-10-01 moved theory Infinite_Set to Library;
2006-04-28 berghofe 2006-04-28 New ROOT file for nominal datatype package.