src/HOL/Tools/function_package/auto_term.ML
2006-06-05 krauss 2006-06-05 HOL/Tools/function_package: Added support for mutual recursive definitions.
2006-05-11 krauss 2006-05-11 Fix: Auto term must apply wf-intro rules repeatedly.
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.