author blanchet
Tue, 07 Dec 2010 11:56:01 +0100
changeset 41051 2ed1b971fc20
parent 37818 dd65033fed78
child 48892 0b2407f406e8
permissions -rw-r--r--
give the inner timeout mechanism a chance, since it gives more precise information to the user

(* Author: Alexander Krauss, TU Muenchen
   Author: Christian Sternagel, University of Innsbruck

header {* Ad-hoc overloading of constants based on their types *}

theory Adhoc_Overloading
imports Pure
uses "adhoc_overloading.ML"

setup Adhoc_Overloading.setup