| author | paulson <lp15@cam.ac.uk> |
| Mon, 27 Jan 2020 14:58:17 +0000 | |
| changeset 71405 | 3ab52e4a8b45 |
| parent 69605 | a96320074298 |
| permissions | -rw-r--r-- |
(* Title: HOL/Library/Adhoc_Overloading.thy Author: Alexander Krauss, TU Muenchen Author: Christian Sternagel, University of Innsbruck *) section \<open>Adhoc overloading of constants based on their types\<close> theory Adhoc_Overloading imports Main keywords "adhoc_overloading" "no_adhoc_overloading" :: thy_decl begin ML_file \<open>adhoc_overloading.ML\<close> end