isabelle: src/Tools/Adhoc_Overloading.thy@9c1173a7e4cb (annotated)

37789 93f6dcf9ec02 generic ad-hoc overloading via check/uncheck krauss parents: diff changeset	1	(* Author: Alexander Krauss, TU Muenchen
93f6dcf9ec02 generic ad-hoc overloading via check/uncheck krauss parents: diff changeset	2	Author: Christian Sternagel, University of Innsbruck
93f6dcf9ec02 generic ad-hoc overloading via check/uncheck krauss parents: diff changeset	3	*)
93f6dcf9ec02 generic ad-hoc overloading via check/uncheck krauss parents: diff changeset	4
62020 5d208fd2507d isabelle update_cartouches -c -t; wenzelm parents: 58889 diff changeset	5	section \<open>Adhoc overloading of constants based on their types\<close>
37789 93f6dcf9ec02 generic ad-hoc overloading via check/uncheck krauss parents: diff changeset	6
93f6dcf9ec02 generic ad-hoc overloading via check/uncheck krauss parents: diff changeset	7	theory Adhoc_Overloading
37818 dd65033fed78 load cache_io before code generator; moved adhoc-overloading to generic tools haftmann parents: 37789 diff changeset	8	imports Pure
63432 ba7901e94e7b tuned; wenzelm parents: 62020 diff changeset	9	keywords
ba7901e94e7b tuned; wenzelm parents: 62020 diff changeset	10	"adhoc_overloading" "no_adhoc_overloading" :: thy_decl
37789 93f6dcf9ec02 generic ad-hoc overloading via check/uncheck krauss parents: diff changeset	11	begin
93f6dcf9ec02 generic ad-hoc overloading via check/uncheck krauss parents: diff changeset	12
48892 0b2407f406e8 prefer ML_file over old uses; wenzelm parents: 37818 diff changeset	13	ML_file "adhoc_overloading.ML"
37789 93f6dcf9ec02 generic ad-hoc overloading via check/uncheck krauss parents: diff changeset	14
93f6dcf9ec02 generic ad-hoc overloading via check/uncheck krauss parents: diff changeset	15	end
37818 dd65033fed78 load cache_io before code generator; moved adhoc-overloading to generic tools haftmann parents: 37789 diff changeset	16

author	wenzelm
	Mon, 19 Dec 2016 20:27:49 +0100
changeset 64605	9c1173a7e4cb
parent 63432	ba7901e94e7b
permissions	-rw-r--r--