isabelle: File revisions

src/HOL/Library/adhoc_overloading.ML

Thu, 24 Oct 2024 22:05:57 +0200	wenzelm	prefer rewrite_term_yoyo for improved performance and occasionally better results (conforming to Ast.normalize);	file \| diff \| annotate
Sun, 04 Aug 2024 17:39:47 +0200	wenzelm	tuned: more explicit dest_Const_name and dest_Const_type;	file \| diff \| annotate
Wed, 17 Apr 2024 15:04:27 +0200	Kevin Kappelmann	make adhoc_overloading respect type constraints	file \| diff \| annotate
Tue, 23 May 2023 18:46:15 +0200	wenzelm	tuned signature: more position information;	file \| diff \| annotate
Wed, 20 Oct 2021 18:13:17 +0200	wenzelm	discontinued obsolete "val extend = I" for data slots;	file \| diff \| annotate
Fri, 04 Jan 2019 23:22:53 +0100	wenzelm	isabelle update -u control_cartouches;	file \| diff \| annotate
Tue, 01 May 2018 20:40:27 +0200	wenzelm	clarified theory location and imports: avoid surprises due to Pure instead of Main (e.g. simpset operations);	file \| diff \| annotate \| base
Tue, 13 Jul 2010 00:15:37 +0200	krauss	generic ad-hoc overloading via check/uncheck	file \| diff \| annotate

isabelle