src/HOL/Tools/function_package/context_tree.ML
2006-06-06 krauss 2006-06-06 HOL/Tools/function_package: More cleanup
2006-05-11 wenzelm 2006-05-11 use IntGraph from Pure;
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.