updated to jedit_build-20140405: Code2HTML.jar, CommonControls.jar, Console.jar, kappalayout.jar, Navigator.jar, SideKick.jar, doc with jEdit manuals (ant dist-manuals);
(* Title: HOL/Fun_Def_Base.thy
Author: Alexander Krauss, TU Muenchen
*)
header {* Function Definition Base *}
theory Fun_Def_Base
imports Ctr_Sugar Set Wellfounded
begin
ML_file "Tools/Function/function_lib.ML"
ML_file "Tools/Function/function_common.ML"
ML_file "Tools/Function/context_tree.ML"
setup Function_Ctx_Tree.setup
ML_file "Tools/Function/sum_tree.ML"
end