src/HOL/Tools/function_package/mutual.ML
2006-06-13 wenzelm 2006-06-13 tuned;
2006-06-06 krauss 2006-06-06 HOL/Tools/function_package: imporoved handling of guards, added an example
2006-06-06 krauss 2006-06-06 HOL/Tools/function_package: More cleanup
2006-06-05 krauss 2006-06-05 HOL/Tools/fundef_package: Cleanup
2006-06-05 krauss 2006-06-05 HOL/Tools/function_package: Added support for mutual recursive definitions.