src/HOL/Accessible_Part.thy
2006-05-17 wenzelm 2006-05-17 tuned source/document;
2006-05-05 krauss 2006-05-05 First usable version of the new function definition package (HOL/function_packake/...). Moved Accessible_Part.thy from Library to Main.