src/HOL/Nominal/ROOT.ML
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.